HDS-18: Moerdijk, Ieke (2016) Topics in Intuitionism and Topos Theory. Doctoral thesis, University of Amsterdam.
ML-1993-08: Hoofman, Raymond and Moerdijk, Ieke (1993) Remarks on the Theory of Semi-Functors. [Report]