Locales are not pointless (1995)

by Steven Vickers
Venue:In Ian Mackie and Rajagopal Nagarajan, editors, Theory and Formal Methods of Computing