DMCA

In Domain Realizability, not all Functionals on C[-1, 1] are Continuous

by Martín Escardo , Thomas Streicher