Axioms for Modelling Cubical Type Theory in a Topos.

Ian Orton Andrew M. Pitts

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

theoretical framework
theoretical basis
knowledge base
machine learning
social networks
case study
multi agent
first order logic
computational models
information theory
causal reasoning
set theory
complete axiomatization