Computational Interpretations of Analysis via Products of Selection Functions

DOI10.1007/978-3-642-13962-8_16MaRDI QIDQ3576200zbMATH OpenOpenAlexFDO

Authors Martín Escardo, Paulo Oliva

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_16

Mathematics Subject Classification ID

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

Cited in

(8)

• scientific article; zbMATH DE number 3909606 (Why is no real title available?)
• The equivalence of bar recursion and open recursion
• The Peirce translation
• The Herbrand functional interpretation of the double negation shift
• A constructive interpretation of Ramsey's theorem via the product of selection functions
• Higher-order games with dependent types
• Computing Nash equilibria of unbounded games
• Uniform functional interpretations

This page was built for publication: Computational Interpretations of Analysis via Products of Selection Functions

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