Equilogical Spaces (1998)

by Andrej Bauer, Lars Birkedal, Dana S. Scott