Unknown
Language: English
Google Books
homotopy theory type theory univalence axiom
Publisher: Princetone Press