Dialectica Interpretation with Fine Computational Control

DOI10.1007/978-3-642-03073-4_48zbMath1268.03083OpenAlexW1497163890MaRDI QIDQ3576085

Trifon Trifonov

Publication date: 28 July 2010

Published in: Mathematical Theory and Computational Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03073-4_48

Mathematics Subject Classification ID

Logic in computer science (03B70) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50)

Related Items (2)

Light Dialectica revisited ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Light Dialectica revisited
• Uniform Heyting arithmetic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Dialectica interpretation of well-founded induction
• Hybrid Functional Interpretations

This page was built for publication: Dialectica Interpretation with Fine Computational Control