π n (S n ) in Homotopy Type Theory.

Daniel R. Licata Guillaume Brunerie

Published in: CPP (2013)

Keyphrases

learning algorithm
machine learning
theoretical framework
theoretical foundation
artificial intelligence
fixed point
theoretical basis
mathematical foundations
data sets
databases
real world
decision trees
objective function
information theory
grounded theory