Constructions with Non-Recursive Higher Inductive Types.

Published in: LICS (2016)

Keyphrases

machine learning
inductive learning
inductive inference
neural network
digital libraries
artificial intelligence
information systems
decision trees
significantly higher
high levels