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}
}
  • Peter J. Landin
  • Published 1965
  • Computer Science
  • Communications of the ACM
  • 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
    365 Citations

    Tables and Topics from this paper

    Explore Further: Topics Discussed in This Paper

    The origins of structural operational semantics
    • G. Plotkin
    • Computer Science
    • J. Log. Algebraic Methods Program.
    • 2004
    • 350
    • PDF
    Algol-like Language
    Introduction to Operational Semantics
    • 10
    • PDF
    Revised5 Report on the Algorithmic Language Scheme
    • 561
    • PDF
    Circular Expressions: Elimination of Static Environments
    • R. Sethi
    • Computer Science
    • Sci. Comput. Program.
    • 1982
    • 8
    Type Systems for Programming Languages
    • J. Mitchell
    • Computer Science, Mathematics
    • Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
    • 1990
    • 300
    The IO- and OI-Hierarchies
    • W. Damm
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 1982
    • 196