On the public citation graph

Opérateurs de mise en mémoire et traduction de Gödel

https://doi.org/10.1007/bf01792986
0 signed · 44 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/s0049-237x(08)70843-7openalex-snapshot
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
inferredcites →https://doi.org/10.1051/ita/1991250100671openalex-snapshot
Lambda-calcul, évaluation paresseuse et mise en mémoire
inferredcites →https://doi.org/10.1109/sfcs.1983.50openalex-snapshot
Reasoning about functional programs and complexity classes associated with type disciplines
inferredcites →https://doi.org/10.2307/2185110openalex-snapshot
The | lambda-Calculus.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19950410407openalex-snapshot
A General Type for Storage Operators
inferred← citeshttps://doi.org/10.1002/malq.19960420130openalex-snapshot
Storage Operators and ∀‐positive Types in TTR Type System
inferred← citeshttps://doi.org/10.1002/malq.19980440107openalex-snapshot
S‐Storage Operators
inferred← citeshttps://doi.org/10.1002/malq.200610038openalex-snapshot
Shoenfield is Gödel after Krivine
inferred← citeshttps://doi.org/10.1007/3-540-58085-9_83openalex-snapshot
Machine Deduction
inferred← citeshttps://doi.org/10.1007/978-3-031-95908-0_7openalex-snapshot
Uniform Functional Interpretations
inferred← citeshttps://doi.org/10.1007/978-3-642-19211-1_12openalex-snapshot
Negative Translations and Duality: Toward a Unified Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-45221-5_14openalex-snapshot
Polarizing Double-Negation Translations
inferred← citeshttps://doi.org/10.1007/bf01269877openalex-snapshot
Strong storage operators and data types
inferred← citeshttps://doi.org/10.1007/bf02127805openalex-snapshot
About classical logic and imperative programming
inferred← citeshttps://doi.org/10.1007/bfb0013061openalex-snapshot
λμ-Calculus: An algorithmic interpretation of classical natural deduction
inferred← citeshttps://doi.org/10.1007/bfb0022575openalex-snapshot
Classical proofs as programs
inferred← citeshttps://doi.org/10.1007/s11225-011-9367-6openalex-snapshot
Negative Translations Not Intuitionistically Equivalent to the Usual Ones
inferred← citeshttps://doi.org/10.1016/0168-0072(94)90047-7openalex-snapshot
Classical logic, storage operators and second-order lambda-calculus
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90386-topenalex-snapshot
Bounded linear logic: a modular approach to polynomial-time computability
inferred← citeshttps://doi.org/10.1016/0304-3975(93)00088-mopenalex-snapshot
The Inf function in the system F
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90081-7openalex-snapshot
A general storage theorem for integers in call-by-name λ-calculus
inferred← citeshttps://doi.org/10.1016/j.apal.2008.09.004openalex-snapshot
Injecting uniformities into Peano arithmetic
inferred← citeshttps://doi.org/10.1016/j.apal.2008.10.012openalex-snapshot
A completeness result for the simply typed λμ -calculus
inferred← citeshttps://doi.org/10.1016/j.apal.2012.07.003openalex-snapshot
A functional interpretation for nonstandard arithmetic
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00041-9openalex-snapshot
A semantical storage operator theorem for all types
inferred← citeshttps://doi.org/10.1017/s0956796804005362openalex-snapshot
An intuitionistic λ-calculus with exceptions
inferred← citeshttps://doi.org/10.1017/s0960129512000989openalex-snapshot
Krivine's classical realisability from a categorical perspective
inferred← citeshttps://doi.org/10.1017/s1755020324000170openalex-snapshot
CONSERVATION AS TRANSLATION
inferred← citeshttps://doi.org/10.1051/ita/1996300302611openalex-snapshot
Opérateurs de mise en mémoire et types $\forall $-positifs
inferred← citeshttps://doi.org/10.1051/ita/1997310605131openalex-snapshot
Résultats de complétude pour des classes de types du système $\mathcal {AF}2$
inferred← citeshttps://doi.org/10.1051/ita/1997310605391openalex-snapshot
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
inferred← citeshttps://doi.org/10.1051/ita:2001117openalex-snapshot
Les types de données syntaxiques du système ${\cal F}$
inferred← citeshttps://doi.org/10.1109/lics.1991.151634openalex-snapshot
An evaluation semantics for classical proofs
inferred← citeshttps://doi.org/10.1111/j.1746-8361.2008.01141.xopenalex-snapshot
Gödel's Functional Interpretation and its Use in Current Mathematics
inferred← citeshttps://doi.org/10.1145/2966268.2966270openalex-snapshot
A Rewrite System for Proof Constructivization
inferred← citeshttps://doi.org/10.1215/00294527-2008-027openalex-snapshot
Factorization of the Shoenfield-like Bounded Functional Interpretation
inferred← citeshttps://doi.org/10.1305/ndjfl/1039724890openalex-snapshot
A Conjecture on Numeral Systems
inferred← citeshttps://doi.org/10.1515/9783110324921.227openalex-snapshot
On the Relation Between Various Negative Translations
inferred← citeshttps://doi.org/10.2307/2275874openalex-snapshot
Storage operators and directed lambda-calculus
inferred← citeshttps://doi.org/10.29007/vbs5openalex-snapshot
A Lightweight Double-negation Translation
inferred← citeshttps://doi.org/10.3166/jancl.13.73-85openalex-snapshot
Complete Types in an Extension of the System AF2
inferred← citeshttps://doi.org/10.4171/prims/185openalex-snapshot
Dialogue Categories and Chiralities
inferred← citeshttps://doi.org/10.70675/6dd42e6cz0e58z4220zb87fzf5497ce93ca1openalex-snapshot
Mécanismes Orientés-Objets pour l'Interopérabilité entre Systèmes de Preuve
inferred← citeshttps://doi.org/10.70675/c1efe9f4z1500z4e67zaad4zcb5531cce150openalex-snapshot
Continuité en théorie des types
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.