A brief introduction to type theory and the univalence axiom

Jackson Macor

Language: English