Additive Types in Quantitative Type Theory.

Vít Sefl Tomás Svoboda

Published in: WoLLIC (2022)

Keyphrases

multiple types
theoretical basis
data sets
theoretical framework
information theory
formal theory
databases
information retrieval
metadata
multi agent systems
special case
qualitative and quantitative
decision theory
special features