Hybrid Functional Interpretations

DOI10.1007/978-3-540-69407-6_29MaRDI QIDQ3507440zbMATH OpenOpenAlexFDO

Authors 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

Dialectica interpretationfunctional interpretationslinear logicmodified realizabilityprogram extraction from proofsuniform quantifiers

Mathematics Subject Classification ID

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

Recommendations

• Hybrid functional interpretations of linear and intuitionistic logic
• Functional interpretations of intuitionistic linear logic
• Functional Interpretations of Intuitionistic Linear Logic
• Functional interpretations of linear and intuitionistic logic
• Unifying functional interpretations: past and future

Cited in

(12)

• An application of proof mining to nonlinear iterations
• A parametrised functional interpretation of Heyting arithmetic
• Hybrid functional interpretations of linear and intuitionistic logic
• Proof interpretations with truth
• Dialectica interpretation with fine computational control
• A functional functional interpretation
• Modal functional (``Dialectica) interpretation
• Unifying functional interpretations: past and future
• Light Dialectica revisited
• Uniform functional interpretations
• Proofs, programs, processes
• Functional interpretations of linear and intuitionistic logic

This page was built for publication: Hybrid Functional Interpretations

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