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

• Autores: T. Streicher, M. Escardo
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Nº 48, 2002, págs. 41-44
• Idioma: inglés
• Texto completo no disponible (Saber más ...)