Higher inductive types in cubical computational type theory.

Evan Cavallo Robert Harper

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

multiple types
machine learning
digital images
theoretical framework
inductive learning
information retrieval
knowledge representation
conceptual framework
significantly higher
data sets
decision making
inductive logic programming
theoretical basis
inductive inference
general theory
computationally tractable