分類:Lambda演算

維基百科，自由的百科全書

「Lambda演算」分類的頁面

此分類包含以下 17 個頁面，共 17 個。

*

Λ演算

B

Beta范式

K

Λ演算骑士团

L

Lambda立方体

M

蒙塔古語法

不

不动点组合子

匿

匿名函数

有

有类型λ演算

構

构造演算

柯

柯里化

簡

简单类型λ演算

類

类型居留问题

系

系统F

規

规范化性质

邏

逻辑框架

邱

邱奇数

高

高阶函数

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

分類：