About classical logic and imperative programming

DOI10.1007/BF02127805zbMATH Open0864.03021MaRDI QIDQ1817076FDOQ1817076

Jean-Louis Krivine

Publication date: 15 June 1997

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

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

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)

Cites Work

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

Cited In (1)

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

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)