Higher Inductive Types in Programming.

Henning Basold Herman Geuvers Niels van der Weide

Published in: J. Univers. Comput. Sci. (2017)

Keyphrases

programming language
machine learning
high level language
knowledge base
knowledge representation
higher quality
database
databases
high level
multiresolution
inductive learning
significantly higher
programming environment