Guarded Homotopy Type Theory (GHott)

In this project investigate guarded homotopy type theory, a new type theory encompassing features of homotopy type theory and guarded recursion.

The project is funded by the Villum foundation, 2015-2019.