Hybrid Functional Interpretations

DOI10.1007/978-3-540-69407-6_29zbMath1142.03368OpenAlexW2124982781MaRDI QIDQ3507440

Mircea-Dan Hernest, Paulo Oliva

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_29

zbMATH Keywords

linear logicDialectica interpretationfunctional interpretationsmodified realizabilityprogram extraction from proofsuniform quantifiers

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functionals in proof theory (03F10)

Related Items

A parametrised functional interpretation of Heyting arithmetic, Light Dialectica revisited, Unnamed Item, An application of proof mining to nonlinear iterations, Dialectica Interpretation with Fine Computational Control, Proofs, programs, processes, Proof interpretations with truth