Computational Interpretations of Analysis via Products of Selection Functions

DOI10.1007/978-3-642-13962-8_16zbMath1251.03073OpenAlexW1610317994MaRDI QIDQ3576200

Paulo Oliva, Martín Hötzel Escardó

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)

Related Items (5)

The equivalence of bar recursion and open recursion ⋮ Higher-order games with dependent types ⋮ The Peirce translation ⋮ A constructive interpretation of Ramsey's theorem via the product of selection functions ⋮ THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT

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