Steve Vickers is a theoretical computer scientist based in Birmingham (U.K.).
On topology via formal logic (locales, sober topological spaces, …):
On geometric logic internal to Grothendieck toposes:
Last revised on November 24, 2021 at 01:17:46. See the history of this page for a list of all contributions to it.