On the Jacopini technique

DOI10.1006/INCO.1997.2655MaRDI QIDQ1376416zbMATH OpenOpenAlexFDO

Authors Jan Kuper

Publication date 25 May 1998

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/on-the-jacopini-technique(af345c26-6e9d-4415-8ac7-c372bef22177).html

zbMATH Keywords

Jacopini techniquelambda calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Marginalia to a theorem of Jacopini
• scientific article; zbMATH DE number 1342290
• Some new results on easy lambda-terms
• scientific article; zbMATH DE number 3916224

Cites work

• scientific article; zbMATH DE number 3648679 (Why is no real title available?)
• scientific article; zbMATH DE number 3916224 (Why is no real title available?)
• scientific article; zbMATH DE number 3976319 (Why is no real title available?)
• scientific article; zbMATH DE number 3672266 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 23772 (Why is no real title available?)
• scientific article; zbMATH DE number 3556025 (Why is no real title available?)
• LCF considered as a programming language
• Solving functional equations at higher types; some examples and some theorems
• Some new results on easy lambda-terms
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(8)

• Intersection types and domain operators
• Marginalia to a theorem of Jacopini
• Simple easy terms
• Easy lambda-terms are not always simple
• scientific article; zbMATH DE number 4166371 (Why is no real title available?)
• 1998 European Summer Meeting of the Association for Symbolic Logic
• scientific article; zbMATH DE number 1342290 (Why is no real title available?)
• Similarities, differences, and preservation of efficiencies, with application to attitude analysis, within the graph model for conflict resolution

This page was built for publication: On the Jacopini technique

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