Λ演算

出自維基百科,自由嘅百科全書
(由Λ 演算跳轉過嚟)
跳去導覽 跳去搵嘢

λ演算(台灣中文:λ運算、英文:lambda calculusλ-calculus)係一套由數學邏輯嗰度發展出嚟,以變數綁定同替換嘅規則,嚟研究函數點抽象化定義、函數點被應用、以及遞歸嘅形式系統。