A lambda-calculus model of programming languages—I. Simple constructs
- 1 January 1975
- journal article
- Published by Elsevier in Computer Languages
- Vol. 1 (4) , 287-301
- https://doi.org/10.1016/0096-0551(75)90017-x
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Simple lambda-calculus model of programming languagesPublished by Office of Scientific and Technical Information (OSTI) ,1973
- Derived semantics for some programming language constructsCommunications of the ACM, 1972
- A correspondence between ALGOL 60 and Church's Lambda-notationsCommunications of the ACM, 1965
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965