Homotopy Canonicity for Cubical Type Theory.
Thierry CoquandSimon HuberChristian SattlerPublished 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