Locales Are Not Pointless (1994)

Cached

Download Links

by Steven Vickers
Venue:Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Mller
Citations:11 - 4 self