About classical logic and imperative programming

DOI10.1007/BF02127805MaRDI QIDQ1817076zbMATH OpenFDO

Authors Jean-Louis Krivine

Publication date 15 June 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

imperative programmingstorage operatorcall-by-name lambda-calculussecond-order classical logicweak head-reduction

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Classical logic, storage operators and second-order lambda-calculus
• scientific article; zbMATH DE number 517083
• A general storage theorem for integers in call-by-name \(\lambda\)- calculus

Cites work

• scientific article; zbMATH DE number 4147469 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1337625 (Why is no real title available?)
• A general storage theorem for integers in call-by-name \(\lambda\)- calculus
• A new constructive logic: classic logic
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Classical logic, storage operators and second-order lambda-calculus
• Lambda-calcul, évaluation paresseuse et mise en mémoire
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)

Cited in

(4)

• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Assignment calculus: a pure imperative language
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• A logical view of assignments

This page was built for publication: About classical logic and imperative programming

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