Path Spaces of Higher Inductive Types in Homotopy Type Theory.
Nicolai KrausJakob von RaumerPublished in: CoRR (2019)
Keyphrases
- multiple types
- quotient space
- deductive reasoning
- machine learning
- special features
- general theory
- theoretical basis
- inductive learning
- fixed point
- theoretical framework
- shortest path
- artificial intelligence
- inductive logic programming
- theoretical foundation
- significantly higher
- computational model
- image sequences
- databases