Article contents
A lambda calculus with naive substitution
Published online by Cambridge University Press: 09 April 2009
Abstract
An alternative approach is proposed to the basic definitions of the lassical lambda calculus. A proof is sketched of the equivalence of the approach with the classical case. The new formulation simplifies some aspects of the syntactic theory of the lambda calculus. In particular it provides a justification for omitting in syntactic theory discussion of changes of bound variable.
MSC classification
- Type
- Research Article
- Information
- Journal of the Australian Mathematical Society , Volume 28 , Issue 3 , November 1979 , pp. 269 - 282
- Copyright
- Copyright © Australian Mathematical Society 1979
References
- 1
- Cited by