Higher Inductive Types as Homotopy-Initial Algebras.

Kristina Sojakova

Published in: POPL (2015)

Keyphrases

three dimensional
neural network
high quality
inductive learning
higher quality
spatial reasoning
inductive reasoning
information retrieval
information systems
decision trees
multiscale
mobile robot
constraint satisfaction problems
rule learning