Steve Vickers

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

*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.