An Introduction to the Lambda Calculus

DOI10.1007/978-3-540-88059-2_3zbMATH Open1170.68416OpenAlexW1899927323MaRDI QIDQ3599178FDOQ3599178

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

Recommendations

• scientific article; zbMATH DE number 3875232
• scientific article
• 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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Types and programing languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computability and λ-definability
• Abstract computing machines. A lambda calculus perspective.
• The inconsistency of certain formal logics
• Title not available (Why is that?)

Cited In (18)

• Title not available (Why is that?)
• ASMs and operational algorithmic completeness of lambda calculus
• The Intensional Lambda Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Essay in λ‐Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
• Title not available (Why is that?)
• To \(\lambda\)-define the computable functions without the fixed point operators
• Title not available (Why is that?)
• Abstract computing machines. A lambda calculus perspective.
• Computability via the lambda calculus with patterns
• The lambda calculus: practice and principle

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)