337 search results - page 1 / 68 » Type Classes for Mathematics in Type Theory |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
ITP
2010
13 years 6 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
TYPES
2007
Springer
13 years 10 months ago
2007
Springer
TYPES
1993
Springer
13 years 8 months ago
1993
Springer
BSL
2002
13 years 4 months ago
2002
Abstract. In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910