Nicolai Kraus. Truncation levels in homotopy type theory. PhD thesis, University of Nottingham, UK, 2015. [doi]
@phdthesis{ethos-10479, title = {Truncation levels in homotopy type theory}, author = {Nicolai Kraus}, year = {2015}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668635}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-10479}, cites = {0}, citedby = {0}, school = {University of Nottingham, UK}, }