Continuous functionals of dependent types and equilogical spaces (2000)

by A Bauer, L Birkedal
Venue:In Computer Science Logic