Steven Vickers  Home/Search
Context Related
| doc.ic.ac.uk/~sjv/TopPLVN.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: theory.doc.ic.ac.uk/~sjv/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, and the EPSRC for their support via the "Foundational Structures in Computer Science" project (Update)
Context of citations to this paper: More
...a practical level, constructive reasoning can thus can lighten the burden of topological discussion; at a deeper level it is hoped that the approach can bring a true reconcilliation between topology and effective mathematics. Further exposition of these ideas can be found in [8] and...
.... Expositionally, though we are working with locales, we experiment with a new approach to them as topology free spaces , as outlined in [21] and [23] In execution, this has the appearance of working with topological spaces but ignorantly neglecting to deal with topologies:...
Cited by: More
Localic Completion Of Quasimetric Spaces - Vickers (1997) (Correct)
Topology via Constructive Logic - Vickers (1999) (Correct)
Quantales And Observational Semantics - Resende (2000) (Correct)
Active bibliography (related documents): More All
0.3: Geometric Logic in Computer Science - Steve Vickers Sjv (1993) (Correct)
0.2: Toposes Pour Les Nuls - Vickers (1996) (Correct)
0.2: Elementary Structures in Process Theory (1) Sets with Renaming - Honda (1997) (Correct)
Similar documents based on text: More All
0.5: Exact Completions and Toposes - Menni (2000) (Correct)
0.5: Geometric Logic As A Specification Language - Vickers (Correct)
0.5: Relative Compactness Conditions For Toposes - Moerdijk, Vermeulen (Correct)
Related documents from co-citation: More All
3: Topology via Logic (context) - Vickers - 1989
2: Cambridge University Press (context) - Johnstone - 1982
2: Topos Theory (context) - Johnstone - 1977
BibTeX entry: (Update)
Vickers, S. (1996) Toposes pour les vraiment nuls. In A. Edalat, S. Jourdan, and G. McCusker, editors, Advances in Theory and Formal Methods of Computing, pp. 1-12. Imperial College Press, London. http://citeseer.ist.psu.edu/article/vickers96toposes.html More
@inproceedings{ vickersdidtoposes,
author = "Steven Vickers",
title = "Toposes pour les vraiment nuls",
pages = "1--12",
url = "citeseer.ist.psu.edu/article/vickers96toposes.html" }
Citations (may not include all citations):126 Cambridge University Press (context) - Johnstone, Spaces - 1982
83 Sheaves in geometry and logic (context) - Lane, Moerdijk - 1992
83 Topos Theory (context) - Johnstone - 1977
73 Topology Via Logic (context) - Vickers - 1988 ACM
8 Toposes and local set theories: an introduction (context) - Bell - 1988
6 Locales are Not Pointless - Vickers - 1995
5 Constructive Points of Power Locales - Vickers - 1997
4 Oxford University Press (context) - McLarty, Categories et al. - 1991
3 Topical Categories of Domains - Vickers - 1992 ACM DBLP
2 Toposes Pour les Nuls - Vickers
1 Localic Completion of Quasimetric Spaces - Vickers
Documents on the same site (http://theory.doc.ic.ac.uk/~sjv/): More
Topology via Constructive Logic - Vickers (1999) (Correct)
Localic Completion Of Quasimetric Spaces - Vickers (1997) (Correct)
Locales Are Not Pointless - Vickers (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC