Login / Signup

Decomposing the Univalence Axiom.

Ian OrtonAndrew M. Pitts
Published in: TYPES (2017)
Keyphrases
  • inference rules
  • modal logic
  • probabilistic model
  • temporal logic