Continuous Functionals of Dependent Types and Equilogical Spaces.

Andrej Bauer, Lars Birkedal

Browse the full CSL paper archive.