Computational Interpretations of Analysis via Products of Selection Functions

DOI10.1007/978-3-642-13962-8_16zbMATH Open1251.03073OpenAlexW1610317994MaRDI QIDQ3576200FDOQ3576200

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

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

Cited In (6)

• The equivalence of bar recursion and open recursion
• The Peirce translation
• Higher-order games with dependent types
• Title not available (Why is that?)
• The Herbrand functional interpretation of the double negation shift
• A constructive interpretation of Ramsey's theorem via the product of selection functions

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)