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

Revised on February 26, 2013 21:46:28 by Stephan Alexander Spahn (192.87.226.73)