Login / Signup
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