My undergradate thesis on coinductive types in univalent type theory
Primary LanguageTeXMozilla Public License 2.0MPL-2.0