Dependently Typed Records in Type Theory.

Published in: Formal Aspects Comput. (2002)

Keyphrases

real time
theoretical framework
theoretical basis
database
multiresolution
decision trees
computational model
information theory