Tags
第 2 頁
Lambda-Calculus
型理論與 Curry-Howard 同構：命題=型別、證明=程式的深遠和諧
Lambda演算（Lambda Calculus）與函數式編程的起源：從阿隆佐·邱奇的理論到Lisp、Haskell
