An experimental library of formalized Mathematics based on the univalent foundations

Submitted by vladimir on Sun, 2015-03-08 11:43

Publication Type:

Journal Article

Authors:

Voevodsky, Vladimir

Source:

Mathematical Structures in Computer Science, Volume FirstView, p.1–17 (2015)

URL:

http://journals.cambridge.org/article_S0960129514000577

Notes:

<p>Pre-publication version is <a href="/vladimir/sites/math.ias.edu.vladimir/files/Univalent%20library%20paper%20current.pdf">here</a>.</p>

Comments: 

arXiv

Weight: 
12