"Decomposing the Univalence Axiom."

Ian Orton, Andrew M. Pitts (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics