Free Commutative Monoids in Homotopy Type Theory.

Vikraman Choudhury Marcelo Fiore

Published in: CoRR (2021)

Keyphrases

general theory
special case
theoretical basis
theoretical foundation
theoretical framework
belief functions
computational model
formal theory
real time
probabilistic model
computer science
multi agent systems
multi agent
website
information systems
data mining
data sets