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]
@inproceedings{OrtonP17-0,
title = {Decomposing the Univalence Axiom},
author = {Ian Orton and Andrew M. Pitts},
year = {2017},
doi = {10.4230/LIPIcs.TYPES.2017.6},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2017.6},
researchr = {https://researchr.org/publication/OrtonP17-0},
cites = {0},
citedby = {0},
booktitle = {23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary},
editor = {Andreas Abel 0001 and Fredrik Nordvall Forsberg and Ambrus Kaposi},
volume = {104},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-071-2},
}