Quasi-linear Dialectica Extraction

DOI10.1007/978-3-642-13962-8_46MaRDI QIDQ3576230zbMATH OpenOpenAlexFDO

Authors Trifon Trifonov

Publication date 29 July 2010

Published in Programs, Proofs, Processes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13962-8_46

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Relative consistency and interpretations (03F25)

Recommendations

• Dialectica interpretation with fine computational control
• scientific article; zbMATH DE number 4068142
• On the reification of semantic linearity
• scientific article; zbMATH DE number 2084544
• Extraction in the Lambek-Grishin Calculus
• Demi-linear duality
• The linear landscape of external contextual languages
• scientific article; zbMATH DE number 1475192

Cited in

(9)

• Light Dialectica program extraction from a classical Fibonacci proof
• Analysis of methods for extraction of programs from non-constructive proofs.
• Well quasi-orders and the functional interpretation
• Dialectica interpretation of well-founded induction
• Dialectica interpretation with fine computational control
• Dialectica interpretation with marked counterexamples
• A functional interpretation with state
• Computer Science Logic
• A complexity analysis of functional interpretations

This page was built for publication: Quasi-linear Dialectica Extraction

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