Axioms for Modelling Cubical Type Theory in a Topos.

Ian Orton Andrew M. Pitts

Published in: CoRR (2017)

Keyphrases

theoretical basis
theoretical framework
set theory
knowledge base
genetic algorithm
artificial intelligence
computer vision
decision trees
search algorithm
data model
hidden markov models
digital images
first order logic
conceptual framework
topology preserving
causal reasoning