IV-07: Troelstra, Anne (2014) Ware en Gevoelige Verhalen (Valedictory). [Report]
X-2000-04: Troelstra, Anne (2000) Ware en Gevoelige Verhalen. [Report]
HDS-03: Troelstra, Anne (2012) Intuitionistic General Topology. Doctoral thesis, University of Amsterdam.