nLab Steve Vickers


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


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

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

On geometric logic internal to Grothendieck toposes:

category: people

Last revised on November 24, 2021 at 01:17:46. See the history of this page for a list of all contributions to it.