Free Higher Groups in Homotopy Type Theory.

Nicolai Kraus Thorsten Altenkirch

Published in: LICS (2018)

Keyphrases

theoretical framework
database
fixed point
image segmentation
multi agent
wide range
real world
information retrieval
computer vision
e learning
similarity measure
probabilistic model
computational model
cluster analysis
theoretical basis