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

Cyril Cohen Thierry Coquand Simon Huber Anders Mörtberg

Published in: FLAP (2017)

Keyphrases

digital images
theoretical framework
databases
data sets
theoretical foundation
multiscale
computational models
conceptual framework
mobile robot
probability distribution