This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Formalization of results from the literature

References

[SvDR20]

Kristina Sojakova, Floris van Doorn, and Egbert Rijke. Sequential Colimits in Homotopy Type Theory. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '20, 845–858. Association for Computing Machinery, 07 2020. doi:10.1145/3373718.3394801.

Files in the namespace

module literature where

open import literature.sequential-colimits-in-homotopy-type-theory public