TY  - RPRT
TI  - A preliminary univalent formalization of the p-adic numbers
AU  - Álvaro Pelayo
AU  - Vladimir Voevodsky
AU  - Michael A. Warren
PY  - 2013
UR  - https://arxiv.org/abs/1302.1207
ID  - 1302.1207
ER  -