Canonicity for Cubical Type Theory.

Published in: CoRR (2016)

Keyphrases

digital images
theoretical basis
information systems
computational model
theoretical foundation
general theory
databases
knowledge base
website
case study
reinforcement learning
data structure
support vector
information technology
information theory
belief functions