TY  - RPRT
TI  - Type Classes for Mathematics in Type Theory
AU  - Bas Spitters
AU  - Eelis van der Weegen
PY  - 2011
UR  - https://arxiv.org/abs/1102.1323
ID  - 1102.1323
ER  -