Homotopy canonicity for cubical type theory.

Thierry Coquand Simon Huber Christian Sattler

Published in: CoRR (2019)

Keyphrases

theoretical basis
databases
real time
artificial intelligence
search engine
computer vision
three dimensional
high level
programming language
theoretical foundation
general theory