1. 首页
  2. 操作系统
  3. OS
  4. 图形λ演算

图形λ演算

上传者: 2024-04-29 21:19:00上传 PDF文件 2.93MB 热度 6次

图形λ演算是一种用图形表示λ演算的图灵完备形式化系统。它由艾伦·珀利斯和盖尔·萨克森于1956年发明。

用户评论