Open AccessComputer ScienceMathematics
M. Abadi, L. Cardelli, P. Curien, J. Lévy
1989.12.1JOURNAL OF FUNCTIONAL PROGRAMMING
tlooto Summary
The λ&sgr;-calculus is a refinement of the λ-Calculus where substitutions are manipulated explicitly, and provides a setting for studying the theory of substitutions, with pleasant mathematical properties.
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.
Citation format
ABADI, M., et al. Explicit substitutions. JOURNAL OF FUNCTIONAL PROGRAMMING, 1989, 1: 375–416.