On Higher Inductive Types in Cubical Type Theory.

Thierry Coquand Simon Huber Anders Mörtberg

Published in: LICS (2018)

Keyphrases

multiple types
theoretical framework
theoretical foundation
neural network
machine learning
image processing
inductive learning
general theory
computer vision
case study
probabilistic model
digital images
special features