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]

Authors

Martín Hötzel Escardó

This author has not been identified. Look up 'Martín Hötzel Escardó' in Google

Thomas Streicher

This author has not been identified. Look up 'Thomas Streicher' in Google