Axioms for Modelling Cubical Type Theory in a Topos.

Ian Orton, Andrew M. Pitts

Browse the full CSL paper archive.