Similar Items: On Small Types in Univalent Foundations
- Categorical structures for type theory in univalent foundations
- The Formal Theory of Monads, Univalently
- Foundations of regular coinduction
- A Logical Foundation for Environment Classifiers
- Univalence without function extensionality
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy