The lambda calculus: practice and principle

DOI10.1007/978-3-319-30936-1_11MaRDI QIDQ3188288zbMATH OpenOpenAlexFDO

Authors Hugh Leather, Janne Irgens

Publication date 17 August 2016

Published in A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-30936-1_11

zbMATH Keywords

adventures of Lambda Man

Mathematics Subject Classification ID

Recreational mathematics (00A08) Functional programming and lambda calculus (68N18)

Recommendations

• An Introduction to the Lambda Calculus
• The Impact of the Lambda Calculus in Logic and Computer Science
• scientific article; zbMATH DE number 4002064
• scientific article; zbMATH DE number 4179333
• scientific article; zbMATH DE number 1443050

Cites work

• A set of postulates for the foundation of logic
• scientific article; zbMATH DE number 3875232 (Why is no real title available?)

Cited in

(4)

• An Introduction to the Lambda Calculus
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• Programming in the λ-Calculus: From Church to Scott and Back
• Lambda calculus with patterns

This page was built for publication: The lambda calculus: practice and principle

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