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