Toposes pour les vraiment nuls (1996)
by
Steven Vickers
| Venue: | Advances in Theory and Formal Methods of Computing |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Vickers96toposespour,
author = {Steven Vickers},
title = {Toposes pour les vraiment nuls},
booktitle = {Advances in Theory and Formal Methods of Computing},
year = {1996},
pages = {1--12},
publisher = {Imperial College Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Restriction to geometric logic can enable one to define topological structures and continuous maps without explicit reference to topologies. This idea is illustrated with some examples and used to explain 1
