nLab Steve Vickers

Writings

Steve Vickers is a theoretical computer scientist based in Birmingham (U.K.).

Writings

On topology via formal logic (locales, sober topological spaces, …):

  • Topology via Logic, Cambridge University Press (1989) (toc pdf)

On point-free topology:

On arithmetic pretoposes:

On geometric logic internal to Grothendieck toposes:

category: people

Last revised on December 13, 2023 at 17:07:54. See the history of this page for a list of all contributions to it.