Computing spaces in type theory - Doré, M (2023)
In this thesis, we develop multiple case studies computing with and in cubical type theory.