Abstract
The lambda calculus is an idealized programming language which captures the core of functional programming and serves as a notion of computability. The lambda calculus is also a good foundation for studying programming language concepts generally by means of adding dedicated extensions to the basic calculus. Our excursion into the lambda calculus is meant here to let us briefly visit a number of language concepts and aspects of semantics and typing that are of general interest in language design, definition, and implementation. This includes the notions of substitution, fixed-point computation, encoding, and type variance.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Lämmel, R. (2018). An Excursion into the Lambda Calculus. In: Software Languages. Springer, Cham. https://doi.org/10.1007/978-3-319-90800-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-90800-7_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-90798-7
Online ISBN: 978-3-319-90800-7
eBook Packages: Computer ScienceComputer Science (R0)