Graded Modal Dependent Type Theory.

Benjamin Moon Harley Eades III Dominic Orchard

Published in: ESOP (2021)

Keyphrases

database
theoretical basis
special case
theoretical framework
computational model
general theory
case study
database systems
information theory
formal theory