Abstract
The λσ-calculus is a refinement of the λ-calculus where substitutions are manipulated explicitly. The λσ-calculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical λ-calculus and concrete implementations. © 1991, Cambridge University Press. All rights reserved.
Cite
CITATION STYLE
APA
Lévy, J. J. (1991). Explicit substitutions. Journal of Functional Programming, 1(4), 375–416. https://doi.org/10.1017/S0956796800000186
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free