Doktorsavhandling / Doctoral dissertation

• Johan Granström, Reference and Computation in Intuitionistic Type Theory , Uppsala Dissertations in Mathematics, ISSN 1401-2049; no. 60.
• Anton Hedin, Contributions to Pointfree Topology and Apartness Spaces, Uppsala Dissertations in Mathematics, ISSN 1401-2049; no. 71.

Licentiatsavhandling / Licentiate theses

• Se denna hemsida: Jonas Eliasson

Examensarbeten / MSc theses

• Patrik Andersson, Exact real arithmetic with automatic error estimates in a computer algebra system (PDF-file). Mathematica notebooks: program | test run for elementary functions | test run for Euler.
• Martin Bender, Products and extensions of measure rings in the algebraic formulation of measure theory.
• Fredrik Nordvall Forsberg, Constructive aspects of models for non-standard analysis , Uppsala University, Department of Mathematics Project Report 2009:10.