The Lambda Calculus: Practice and Principle

DOI10.1007/978-3-319-30936-1_11zbMath1343.68047OpenAlexW2464802550MaRDI QIDQ3188288

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

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

Cites Work

• A set of postulates for the foundation of logic
• Unnamed Item

This page was built for publication: The Lambda Calculus: Practice and Principle