@inbook{79a89a54d61a42208cea4587862eb668,

title = "The Lambda Calculus: Practice and Principle",

abstract = "The Lambda Calculus has perplexed students of computer science for millennia, rendering many incapable of understanding even the most basic precepts of functional programming. This paper gently introduces the core concepts to the lay reader, assuming only a minimum of background knowledge in category theory, quantum chromodynamics, and paleomagnetism. In addition, this paper goes on to its main results, showing how the Lambda Calculus can be used to easily prove the termination of Leibniz{\textquoteright} Hailstone numbers for all n>0n>0, to show that matrix multiplication is possible in linear time, and to guarantee Scottish independence.",

author = "Hugh Leather and Janne Irgens",

year = "2016",

doi = "10.1007/978-3-319-30936-1_11",

language = "English",

isbn = "978-3-319-30935-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "201--206",

editor = "Sam Lindley and Conor McBride and Phil Trinder and Don Sannella",

booktitle = "A List of Successes That Can Change the World",

}