跳转到内容

Category:Lambda演算

维基百科，自由的百科全书

分类“Lambda演算”中的页面

以下17个页面属于本分类，共17个页面。

*

Λ演算

B

Beta范式

K

Λ演算骑士团

L

Lambda立方体

M

蒙塔古語法

不

不动点组合子

匿

匿名函数

有

有类型λ演算

构

构造演算

柯

柯里化

简

简单类型λ演算

类

类型居留问题

系

系统F

规

规范化性质

逻

逻辑框架

邱

邱奇数

高

高阶函数

取自“https://zh.wikipedia.org/w/index.php?title=Category:Lambda演算&oldid=41755930”

分类：