跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
分類索引
特色內容
新聞動態
最近修改
隨機條目
資助維基百科
說明
說明
維基社群
方針與指引
互助客棧
知識問答
字詞轉換
IRC即時聊天
聯絡我們
關於維基百科
搜尋
搜尋
外觀
建立帳號
登入
個人工具
建立帳號
登入
用於已登出編輯者的頁面
了解更多
貢獻
討論
分類
:
Lambda演算
15 種語言
العربية
Ελληνικά
English
Esperanto
Español
فارسی
Hrvatski
日本語
한국어
Nederlands
Polski
Русский
Srpskohrvatski / српскохрватски
Türkçe
Українська
編輯連結
分類
討論
澳門繁體
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
閱讀
編輯
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
編輯
檢視歷史
一般
連結至此的頁面
相關變更
上載檔案
特殊頁面
靜態連結
頁面資訊
取得短網址
下載QR碼
維基數據項目
列印/匯出
下載為PDF
可列印版
其他專案
維基共享資源
外觀
移至側邊欄
隱藏
說明
維基百科,自由的百科全書
有關本
分類
的更多資訊,請參閱「
Lambda演算
」。
「Lambda演算」分類的頁面
此分類共有 17 個頁面,以下顯示其中 17 個頁面。
*
Λ演算
B
Beta范式
K
Λ演算骑士团
L
Lambda立方体
M
蒙塔古語法
不
不动点组合子
匿
匿名函数
有
有类型λ演算
構
构造演算
柯
柯里化
簡
简单类型λ演算
類
类型居留问题
系
系统F
規
规范化性质
邏
逻辑框架
邱
邱奇数
高
高阶函数
分類
:
遞歸論
計算機邏輯
形式方法
邏輯演算
函數式編程