A univalent formalization of the p-adic numbers | Vladimir Voevodsky

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

Publication Type:

Journal Article

Authors:

Pelayo, Álvaro; Voevodsky, Vladimir; Warren, Michael A.

Source:

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

URL:

http://journals.cambridge.org/article_S0960129514000541

Notes:

<p>The arXiv version is <a href="http://arxiv.org/abs/1302.1207">here</a>.</p>

Weight:

9