Path Spaces of Higher Inductive Types in Homotopy Type Theory.

Nicolai Kraus Jakob von Raumer

Published in: LICS (2019)

Keyphrases

multiple types
data sets
fixed point
inductive learning
deductive reasoning
theoretical framework
theoretical basis
multi agent
knowledge representation
general theory
database
real world
path planning
von neumann
quotient space