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

Martín Hötzel Escardó, Thomas Streicher (2002)

Details and statistics

DOI: 10.1002/1521-3870(200210)48:1%2B<41::AID-MALQ41>3.0.CO;2-V

access: closed

type: Journal Article

metadata version: 2018-07-04

a service of  Schloss Dagstuhl - Leibniz Center for Informatics