Abstract
A parameter passing policy is said to be call-by-name if the parameters need not be evaluated in order to be supplied to the function. In our setting, this means that all terms can be considered as input values. So, in order to mimic this policy with the parametric λΔ-calculus, it is sufficient to define Δ = Λ. Then all terms are input values, and every application of the shape (λx.M)N is a redex. The λΛ-calculus coincides with the standard λ-calculus, defined by Church [25], and the reduction → Λ is the well known ß-reduction.
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
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rocca, S.R.D., Paolini, L. (2004). The Call-by-Name λ-Calculus. In: The Parametric Lambda Calculus. Texts in Theoretical Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-10394-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-662-10394-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05746-5
Online ISBN: 978-3-662-10394-4
eBook Packages: Springer Book Archive