Continuous Functionals of Dependent Types and Equilogical Spaces (2000)

by Andrej Bauer , Lars Birkedal
Citations:12 - 8 self