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 (7)

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

This page was built for publication: Hybrid Functional Interpretations