Modelling general recursion in type theory.

Ana Bove Venanzio Capretta

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

Keyphrases

general theory
closely related
special case
data sets
metadata
database systems
similarity measure
computer science
information technology
query answering
deductive databases