Axioms for Modelling Cubical Type Theory in a Topos

Ian Orton, Andrew M. Pitts. Axioms for Modelling Cubical Type Theory in a Topos. Logical Methods in Computer Science, 14(4), 2018. [doi]

Abstract

Abstract is missing.