Highlights of the History of the Lambda-Calculus
From MaRDI portal
Publication:4779246
DOI10.1109/MAHC.1984.10040zbMath0998.01530MaRDI QIDQ4779246
No author found.
Publication date: 25 November 2002
Published in: IEEE Annals of the History of Computing (Search for Journal in Brave)
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of computer science (68-03) Combinatory logic and lambda calculus (03B40)
Related Items (3)
From Boolean algebra to unified algebra ⋮ Conceptual Confluence in 1936: Post and Turing ⋮ A glimpse into the paradise of combinatory algebra
This page was built for publication: Highlights of the History of the Lambda-Calculus
