Steve Vickers is a theoretical computer scientist based in Birmingham (U.K.).
on topology via formal logic (locales, sober topological spaces, …)
Last revised on April 5, 2017 at 15:02:49. See the history of this page for a list of all contributions to it.