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]
No references recorded for this publication.
No citations of this publication recorded.