On a topological topos (1979)

by P T Johnstone
Venue:Proceedings of the London Mathematical Society