Jaun, Lukas (2019). Category Theory in Explicit Mathematics. (Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)
