Syntax and Semantics of Quantitative Type Theory.

Published in: LICS (2018)

Keyphrases

artificial intelligence
theoretical basis
formal theory
real time
databases
information retrieval
search engine
feature selection
three dimensional
search algorithm
special case
information theory
conceptual framework
decision theory
general theory