Covering Spaces in Homotopy Type Theory.

Kuen-Bang Hou (Favonia)Robert Harper

Published in: TYPES (2016)

Keyphrases

theoretical framework
general theory
quotient space
artificial intelligence
multi agent
learning environment
theoretical basis
data sets
real world
machine learning
information systems
computational model
theoretical foundation
approximation spaces
formal theory