Axioms for Modelling Cubical Type Theory in a Topos.

Ian Orton Andrew M. Pitts

Published in: CSL (2016)

Keyphrases

axiomatic characterization
theoretical framework
theoretical basis
knowledge base
case study
search algorithm
computational model
database
real time
digital images
formal theory
logical theories