Dependent Intersection: A New Way of Defining Records in Type Theory.

Published in: LICS (2003)

Keyphrases

databases
theoretical basis
computational model
theoretical framework
general theory
formal theory
information technology
multiresolution
data records