1. (100%) Toposes Pour Les Nuls - Steve Vickers
Introduction The very first sentence of Mac Lane and Moerdijk [5]says: A topos can be considered bot ...
(pdf) - 31-mar-2009

2. (100%) Steve Vickers Imperial College - Steve Vickers
Introduction The very first sentence of Mac Lane and Moerdijk [5] says: A topos can be considered bo ...
(ps) - 31-mar-2009

3. (100%) Geometric Logic in Computer Science - Steve Vickers
We present an introduction to geometric logic and the mathematical structures associated with it, su ...
(ps) - 31-mar-2009

4. (100%) Toposes Pour Les Nuls - Steve Vickers
Introduction The very first sentence of Mac Lane and Moerdijk [5]says: A topos can be considered b ...
(application/pdf) - 31-jul-2009

5. (99%) Geometric Logic in Computer Science - Steve Vickers Sjv; Steve Vickers
We present an introduction to geometric logic and the mathematical structures associated with it, s ...
(application/postscript) - 23-jul-2009

6. (80%) Steve Vickers Imperial College - Ol Le Ge; Steve Vickers
Introduction The very first sentence of Mac Lane and Moerdijk [5] says: A topos can be considered ...
(application/postscript) - 23-jul-2009

7. (63%) Partial Horn logic and cartesian categories, Annals of Pure and Applied Logic 145 - Erik Palmgren; Steve Vickers; E. Palmgren; S. J. Vickers
A logic is developed in which function symbols are allowed to represent partial functions. It has th ...
(application/pdf) - 25-ago-2009