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

Martín Hötzel Escardó, Thomas Streicher. In Domain Realizability, not all Functionals on ::::C::::[-1, 1] are Continuous. Math. Log. Q., 48(S1):41-44, 2002. [doi]

Abstract

Abstract is missing.