A lambda-calculus model of programming languages—II. Jumps and procedures

DOI10.1016/0096-0551(75)90018-1zbMath0356.68042OpenAlexW2171943308MaRDI QIDQ4127994

S. Kamal 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)90018-1

Mathematics Subject Classification ID

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

Related Items (3)

Peter J. Landin (1930--2009) ⋮ Unnamed Item ⋮ Definition of the semantics of programming language constructs in terms of ?-calculus. I

This page was built for publication: A lambda-calculus model of programming languages—II. Jumps and procedures