A lambda-calculus model of programming languages—I. Simple constructs

DOI10.1016/0096-0551(75)90017-XzbMath0356.68041OpenAlexW2097367473MaRDI QIDQ4127993

Kamal S. Abdali

Publication date: 1975

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(75)90017-x

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items (1)

One method of defining the semantics of programming language constructs in terms of lambda calculus. II

This page was built for publication: A lambda-calculus model of programming languages—I. Simple constructs