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

DOI10.1007/BF01792986zbMATH Open0712.03009MaRDI QIDQ923069FDOQ923069

Authors: Jean-Louis Krivine 

Publication date: 1990

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

Recommendations

• A general storage theorem for integers in call-by-name \(\lambda\)- calculus
• scientific article; zbMATH DE number 458872
• On Storage Operators
• Strong storage operators and data types
• A semantical storage operator theorem for all types

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (21)

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

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

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