Type classes for mathematics in type theory.

Bas Spitters Eelis van der Weegen

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

information technology
database
data sets
information retrieval
computer vision
image processing
cooperative
data model
probabilistic model
theoretical basis