On Higher Inductive Types in Cubical Type Theory.

Thierry Coquand Simon Huber Anders Mörtberg

Published in: CoRR (2018)

Keyphrases

general theory
multiple types
image sequences
machine learning
deductive reasoning
formal theory
theoretical basis
inductive learning
information systems
databases
digital images
theoretical framework
inductive logic programming
video sequences
case study
decision theory
e learning
learning algorithm