nLab Steve Vickers

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

• home page

• Wikipedia page

Writings

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:

• Steven Vickers, Continuity and geometric logic, Journal of Applied Logic Volume 12, Issue 1, March 2014, Pages 14-27 (doi:10.1016/j.jal.2013.07.004)

category: people