Eilenberg-MacLane spaces in homotopy type theory.

Daniel R. Licata Eric Finster

Published in: CSL-LICS (2014)

Keyphrases

quotient space
machine learning
general theory
theoretical basis
information systems
real time
decision making
three dimensional
database systems
feature extraction
relational databases
theoretical framework
fixed point
theoretical foundation
information theory
boundary conditions
genetic algorithm