Partial Elements and Recursion via Dominances in Univalent Type Theory.

Martín Hötzel Escardó Cory M. Knapp

Published in: CSL (2017)

Keyphrases

formal theory
multiscale
conceptual framework
databases
information systems
case study
multiresolution
query language
probability distribution
theoretical framework
complex objects
deductive databases