Back to Results
First PageMeta Content
Lambda calculus / Combinatory logic / Computability theory / Fixed-point combinator / Function / Haskell Curry / Free variables and bound variables / Principia Mathematica / First-order logic / Mathematics / Mathematical logic / Theoretical computer science


History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report
Add to Reading List

Document Date: 2008-01-14 18:38:50

Open Document

File Size: 680,09 KB

Share Result on Facebook
UPDATE