Decomposing the Univalence Axiom.

Ian Orton Andrew M. Pitts

Published in: CoRR (2017)

Keyphrases

inference rules
modal logic
artificial intelligence
graphical models
probability distribution
knowledge base
training set
temporal logic
first order logic