An Introduction to the Lambda Calculus

DOI10.1007/978-3-540-88059-2_3MaRDI QIDQ3599178zbMATH OpenOpenAlexFDO

Authors Zoltán Csörnyei, Gergely Dévai

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

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

Recommendations

• scientific article; zbMATH DE number 3875232
• scientific article; zbMATH DE number 5318491
• scientific article; zbMATH DE number 919545
• The lambda calculus: practice and principle
• scientific article; zbMATH DE number 194541
• The Intensional Lambda Calculus
• scientific article; zbMATH DE number 2242116
• scientific article; zbMATH DE number 6148924
• Models of the lambda calculus: an introduction
• A calculus of lambda calculus contexts

Cites work

• Abstract computing machines. A lambda calculus perspective.
• Computability and λ-definability
• scientific article; zbMATH DE number 108369 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 2238212 (Why is no real title available?)
• scientific article; zbMATH DE number 2242116 (Why is no real title available?)
• The inconsistency of certain formal logics
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Types and programing languages

Cited in

(19)

• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Abstract computing machines. A lambda calculus perspective.
• scientific article; zbMATH DE number 2186938 (Why is no real title available?)
• Computability via the lambda calculus with patterns
• The lambda calculus: practice and principle
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• ASMs and operational algorithmic completeness of lambda calculus
• scientific article; zbMATH DE number 4002064 (Why is no real title available?)
• scientific article; zbMATH DE number 4024773 (Why is no real title available?)
• The Impact of the Lambda Calculus in Logic and Computer Science
• An Essay in λ‐Calculus
• scientific article; zbMATH DE number 194541 (Why is no real title available?)
• scientific article; zbMATH DE number 761276 (Why is no real title available?)
• scientific article; zbMATH DE number 919545 (Why is no real title available?)
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• To -define the computable functions without the fixed point operators
• The Intensional Lambda Calculus
• scientific article; zbMATH DE number 2242116 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3599178)