MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Locales are Not Pointless." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Locales Are Not Pointless
by Steven Vickers — 1994 — Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Mller
…LOCALES ARE NOT POINTLESS STEVEN VICKERS Department of Computing, Imperial College 180 Queen…
Cited by 12 (4 self) – Add To MetaCart

Contents. The Development of Categorical Logic
by John L. Bell
… generalization of the category of topological spaces. Locales accordingly became known as “pointless” spaces…
Add To MetaCart

Representing Topoi By Topological Groupoids
by Carsten Butz, Ieke Moerdijk, G \theta X G — 1996
… groupoid G ' X in the category of locales ("pointless spaces") for which there is an equivalence E = Sh…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB