337 search results - page 3 / 68 » Type Classes for Mathematics in Type Theory |
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
HOA
1993
13 years 11 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
KES
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. This paper presents a class of hierarchical fuzzy system applied to a cigar classification system. The weight, texture and chromatic characteristics are used to classify ...