The equivalence axiom and univalent models of type theory | Vladimir Voevodsky

Submitted by vladimir on Sun, 2015-09-06 09:32

Publication Type:

Journal Article

Authors:

Vladimir Voevodsky

Source:

arXiv 1402.5556, p.1–11 (2010)

URL:

http://arxiv.org/abs/1402.5556

Weight:

0