Higher Inductive Types as Homotopy-Initial Algebras.

Kristina Sojakova

Published in: CoRR (2014)

Keyphrases

machine learning
expert systems
inductive learning
lower levels
real time
databases
case study
digital libraries
information technology
knowledge representation
concept learning
significantly higher