Correspondence between ALGOL 60 and Church's Lambda-notation
@article{Landin1965CorrespondenceBA, title={Correspondence between ALGOL 60 and Church's Lambda-notation}, author={Peter J. Landin}, journal={Communications of the ACM}, year={1965}, volume={8}, pages={101 - 89} }
This paper describes how some of the semantics of ALGOL 60 can be formalized by establishing a correspondence between expressions of ALGOL 60 and expressions in a modified form of Church's n-notation. First a model for computer languages and computer behavior is described, based on the notions of functional application and functional abstraction, but also having analogues for imperative language features. Then |his model is used as an "abstract object language" into which ALGOL 60 is mapped… CONTINUE READING
Tables and Topics from this paper
Tables
365 Citations
The origins of structural operational semantics
- Computer Science
- J. Log. Algebraic Methods Program.
- 2004
- 350
- PDF
Revised5 Report on the Algorithmic Language Scheme
- Computer Science
- High. Order Symb. Comput.
- 1998
- 561
- PDF
Type Systems for Programming Languages
- Computer Science, Mathematics
- Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
- 1990
- 300