About classical logic and imperative programming

DOI10.1007/BF02127805zbMath0864.03021MaRDI QIDQ1817076

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

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

Related Items (1)

From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Classical logic, storage operators and second-order lambda-calculus
• A general storage theorem for integers in call-by-name \(\lambda\)- calculus
• Lambda-calcul, évaluation paresseuse et mise en mémoire
• A new constructive logic: classic logic

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