nLab
Steve Vickers

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

Writings

  • Topology via Logic, Cambridge University Press (1989)

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

category: people

Last revised on April 5, 2017 at 15:02:49. See the history of this page for a list of all contributions to it.