Cubical Type Theory: a constructive interpretation of the univalence axiom.

Cyril Cohen Thierry Coquand Simon Huber Anders Mörtberg

Published in: CoRR (2016)

Keyphrases

neural network
theoretical basis
digital images
theoretical framework
image interpretation
general theory
high level
case study
similarity measure
object recognition
computational models