Andrej Bauer, Lars Birkedal. Continuous Functionals of Dependent Types and Equilogical Spaces. In Peter Clote, Helmut Schwichtenberg, editors, Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Volume 1862 of Lecture Notes in Computer Science, pages 202-216, Springer, 2000. [doi]
@inproceedings{BauerB00,
title = {Continuous Functionals of Dependent Types and Equilogical Spaces},
author = {Andrej Bauer and Lars Birkedal},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1862/18620202.htm},
researchr = {https://researchr.org/publication/BauerB00},
cites = {0},
citedby = {0},
pages = {202-216},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings},
editor = {Peter Clote and Helmut Schwichtenberg},
volume = {1862},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67895-6},
}