On the Jacopini technique

DOI10.1006/inco.1997.2655zbMath0887.68010OpenAlexW2073877447MaRDI QIDQ1376416

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

lambda calculusJacopini technique

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

1998 European Summer Meeting of the Association for Symbolic Logic, Easy lambda-terms are not always simple, Similarities, differences, and preservation of efficiencies, with application to attitude analysis, within the graph model for conflict resolution, Intersection types and domain operators, Simple Easy Terms

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Solving functional equations at higher types; some examples and some theorems
• LCF considered as a programming language
• Some new results on easy lambda-terms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item