Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)

DOI10.1007/BF01792986zbMath0712.03009MaRDI QIDQ923069

Jean-Louis Krivine

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

data type\(\lambda \) -calculuscall by nameleftmost reduction strategysecond order functional arithmeticstorage operators

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)

Related Items (20)

Classical logic, storage operators and second-order lambda-calculus ⋮ A general storage theorem for integers in call-by-name \(\lambda\)- calculus ⋮ The Inf function in the system \(F\) ⋮ Negative translations not intuitionistically equivalent to the usual ones ⋮ Lambda-calcul, évaluation paresseuse et mise en mémoire ⋮ A conjecture on numeral systems ⋮ A semantical storage operator theorem for all types ⋮ Machine Deduction ⋮ Storage operators and directed lambda-calculus ⋮ Bounded linear logic: A modular approach to polynomial-time computability ⋮ Krivine's classical realisability from a categorical perspective ⋮ Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ ⋮ Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés ⋮ Les types de données syntaxiques du système ${\cal F}$ ⋮ A functional interpretation for nonstandard arithmetic ⋮ Injecting uniformities into Peano arithmetic ⋮ Strong storage operators and data types ⋮ Opérateurs de mise en mémoire et types $\forall $-positifs ⋮ About classical logic and imperative programming ⋮ Complete Types in an Extension of the System AF2

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Unnamed Item
• Unnamed Item

This page was built for publication: Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)