My interests are in categorical logic, type theories and foundations.
I am a PhD-candidate of Ieke Moerdijk in Nijmegen
Last revised on February 26, 2013 at 21:46:28. See the history of this page for a list of all contributions to it.