Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory.

Nicolai Kraus Jakob von Raumer

Published in: LICS (2020)

Keyphrases

information theory
multi agent
probabilistic model
small number
real time
data sets
search engine
information systems
three dimensional
association rules