Publications

Export results:
Author Title Type [ Year(Desc)]
Filters: Author is Pelayo, Álvaro  [Clear All Filters]
2015
Pelayo, Á., V. Voevodsky, and M. A. Warren, "A univalent formalization of the p-adic numbers", Mathematical Structures in Computer Science, vol. FirstView, pp. 1–25, 2, 2015.
The arXiv version is here.