4 results
A univalent formalization of the p-adic numbers
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 13 February 2015, pp. 1147-1171
-
- Article
-
- You have access
- Export citation
An experimental library of formalized Mathematics based on the univalent foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 20 January 2015, pp. 1278-1294
-
- Article
-
- You have access
- Export citation
Simplicial radditive functors
-
- Journal:
- Journal of K-Theory / Volume 5 / Issue 2 / April 2010
- Published online by Cambridge University Press:
- 26 April 2010, pp. 201-244
- Print publication:
- April 2010
-
- Article
- Export citation
Motives over simplicial schemes
-
- Journal:
- Journal of K-Theory / Volume 5 / Issue 1 / February 2010
- Published online by Cambridge University Press:
- 18 February 2010, pp. 1-38
- Print publication:
- February 2010
-
- Article
- Export citation