Calculating the Fundamental Group of the Circle in Homotopy Type Theory.

Daniel R. Licata Michael Shulman

Published in: LICS (2013)

Keyphrases

theoretical basis
theoretical framework
databases
image processing
data sets
machine learning
group members
face recognition
learning environment