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

DOI10.1016/0096-0551(75)90018-1MaRDI QIDQ4127994zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(3)

• scientific article; zbMATH DE number 3659565 (Why is no real title available?)
• Definition of the semantics of programming language constructs in terms of ?-calculus. I
• Peter J. Landin (1930--2009)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4127994)