The logical abstract machine: A Curry-Howard isomorphism for machine code

DOI10.1007/10705424_20MaRDI QIDQ2766791zbMATH OpenFDO

Authors Atsushi Ohori

Publication date 22 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10705424_20

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• The linear logical abstract machine
• A Curry-Howard isomorphism for compilation and program execution. (Extended abstract)
• Lectures on the Curry-Howard isomorphism
• scientific article; zbMATH DE number 2090723
• A call-by-name lambda-calculus machine

Cited in

(4)

• Strong normalization of classical natural deduction with disjunctions
• Proof-directed de-compilation of low-level code
• The linear logical abstract machine
• A Curry-Howard isomorphism for compilation and program execution. (Extended abstract)

This page was built for publication: The logical abstract machine: A Curry-Howard isomorphism for machine code

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