Decomposing the Univalence Axiom

Ian Orton, Andrew M. Pitts. Decomposing the Univalence Axiom. In Andreas Abel 0001, Fredrik Nordvall Forsberg, Ambrus Kaposi, editors, 23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary. Volume 104 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.