Open locales and exponentiation (1984)

by Peter T Johnstone
Venue:Mathematical Applications of Category Theory, Contemporary Mathematics 30, American Mathematical Society