Setoids in type theory.

Gilles Barthe Venanzio Capretta Olivier Pons

Published in: J. Funct. Program. (2003)

Keyphrases

theoretical basis
databases
data mining
search algorithm
theoretical framework
real world
image processing
face recognition
probability theory