Homotopy Canonicity for Cubical Type Theory.

Thierry Coquand Simon Huber Christian Sattler

Published in: FSCD (2019)

Keyphrases

general theory
theoretical basis
theoretical framework
databases
formal theory
mathematical foundations

theoretical foundation
fixed point
digital images
artificial neural networks
data sets
digital libraries

user interface
learning environment
computational model
case study
decision trees

website
multimedia
topology preserving
artificial intelligence
genetic algorithm