Type Theory and the Curry-Howard Isomorphism: The Profound Harmony of Propositions as Types and Proofs as Programs
Tags
2 pages
Lambda-Calculus
The Origins of Lambda Calculus and Functional Programming: From Alonzo Church's Theory to Lisp and Haskell
