) in Homotopy Type Theory.

Guillaume Brunerie

Published in: J. Autom. Reason. (2019)

Keyphrases

theoretical framework
real time
computational model
theoretical basis
formal theory
real world
information retrieval
learning algorithm
information systems
case study
digital libraries
probability distribution
belief functions