/reed-thesis

My undergradate thesis on coinductive types in univalent type theory

Primary LanguageTeXMozilla Public License 2.0MPL-2.0

Watchers