In Domain Realizability, not all Functionals on C[–1, 1] are Continuous
Martı́n Hötzel Escardó, Thomas Streicher · Mathematical logic quarterly · 2002
In this note we exhibit a continuity principle for real-valued functions on C[–1, 1] that is not validated by realizability over domains although it is validated by Kleene's functional realizability corresponding to Weihrauch's theory of type 2 effectivity.