nLab Stephan Alexander Spahn

My interests are in categorical logic, type theories and foundations.

I am a PhD-candidate of Ieke Moerdijk in Nijmegen

category: people

Last revised on February 26, 2013 at 21:46:28. See the history of this page for a list of all contributions to it.