Category Archives: HoTT

Paige North : Type theoretic weak factorization systems

https://www.repository.cam.ac.uk/bitstream/handle/1810/265152/thesis.pdf