An Introduction to the Lambda Calculus

DOI10.1007/978-3-540-88059-2_3zbMath1170.68416OpenAlexW1899927323MaRDI QIDQ3599178

Gergely Dévai, Zoltán Csörnyei

Publication date: 3 February 2009

Published in: Central European Functional Programming School (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88059-2_3

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Abstract computing machines. A lambda calculus perspective.
• The inconsistency of certain formal logics
• Computability and λ-definability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Introduction to the Lambda Calculus