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’ Hailstone numbers for all \(n > 0\), to show that matrix multiplication is possible in linear time, and to guarantee Scottish independence.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This seriously annoyed Alan Turing who did not win a Turing Award. In response, Turing changed his name to Benedict Cumberbatch and won an Oscar. Oscar didn’t really mind.
- 2.
We acknowledge the pioneering work done by Simon Peyton-Jones rehabilitating this font in presentations. We also admit that “to the best of our knowledge” really means “we haven’t the faintest idea and don’t want to do any research into the matter”. To the best of our knowledge we are the first to ever make such an admission.
References
Barendregt, H.P.: The Lambda Calculus, vol. 3. North-Holland, Amsterdam (1984)
Bergson, H.: Laughter: An Essay on the Meaning of the Comic. Macmillan, New York (1914)
Bowman, J.L., Sakai, H., Jack, T., Weigel, D., Mayer, U., Meyerowitz, E.M.: Superman, a regulator of floral homeotic genes in arabidopsis. Development 114(3), 599–615 (1992)
Church, A.: A set of postulates for the foundation of logic. Ann. Math. 33, 346–366 (1932)
Clueless, J., Itworks, H.: 101 dubious ways to improve your h-index. In: Proceedings of the 1901 Conference on Unlikely Ways to Get Ahead (CUWGA 1901), January 1901
Collins, A., Fensch, C., Leather, H.: Auto-tuning parallel skeletons. Parallel Process. Lett. (PPL) 22(2), 1240005-1–1240005-16 (2012)
Collins, A., Fensch, C., Leather, H.: Optimization space exploration of the fastflow parallel skeleton framework. In: Proceedings of High-Level Programming for Heterogeneous and Hierarchical Parallel Systems, HLPGPU 2012, January 2012
Harris, J., Wonderwoman, S.: The Ethics of Human Biotechnology. Oxford University Press, Oxford (1992)
Hummert, S., Schuster, S., Hummert, C.: Batman - the dark knight: a game theoretical approach. In: Arabnia, H.R., Gravvanis, G.A., Solo, A.M.G. (eds.) FCS, pp. 29–34. CSREA Press, USA (2010)
Kyle, S., Bohm, I., Franke, B., Leather, H., Topham, N.: Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation. In: Proceedings of the ACM SIGPLAN/SIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2012, June 2012
Kyle, S., Leather, H., Franke, B., Butcher, D., Monteith, S.: Application of domain-aware binary fuzzing to aid android virtual machine testing. In: Proceedings of the 2015 International Conference on Virtual Execution Environments (VEE 2015), March 2015
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Leather, H., Irgens, J. (2016). The Lambda Calculus: Practice and Principle . In: Lindley, S., McBride, C., Trinder, P., Sannella, D. (eds) A List of Successes That Can Change the World. Lecture Notes in Computer Science(), vol 9600. Springer, Cham. https://doi.org/10.1007/978-3-319-30936-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-30936-1_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-30935-4
Online ISBN: 978-3-319-30936-1
eBook Packages: Computer ScienceComputer Science (R0)