Locales are Not Pointless.

Steven Vickers
Published in: Theory and Formal Methods (1994)
Keyphrases