A brief introduction to type theory and the univalence axiom

Author — Jackson Macor

Language: English