Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom.

Cyril Cohen Thierry Coquand Simon Huber Anders Mörtberg

Published in: TYPES (2015)

Keyphrases

digital images
theoretical framework
theoretical basis
computational model
theoretical foundation
image interpretation
knowledge base
website
image segmentation
high level
multiscale
multi agent systems
conceptual framework
general theory