探索
探索
讲义
小文章
讨论室
写作
写作
新页面
写作计划
上传文件
搜索
搜索
个人工具
创建账户
登录
通知
名字空间
分类
讨论
视图
查看
查看源代码
历史
帮助
分类: 计算机科学
子分类
本分类包含以下 4 个子分类.
C
重写系统
D
递归论
L
类型论
X
形式语言
分类 “计算机科学” 中的页面
本分类包含以下 7 个页面.
B
不动点组合子
L
Lambda 编码
Lambda 演算
T
Turing 机
W
无类型 lambda 演算
X
形式文法
形式语言
分类
:
主分类