A univalent formalization of the p-adic numbers
PELAYO, ÁLVARO, VOEVODSKY, VLADIMIR, WARREN, MICHAEL A.Volume:
25
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129514000541
Date:
June, 2015
File:
PDF, 437 KB
english, 2015