Ian Orton, Andrew M. Pitts. Axioms for Modelling Cubical Type Theory in a Topos. In Jean-Marc Talbot, Laurent Regnier, editors, 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France. Volume 62 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{OrtonP16,
title = {Axioms for Modelling Cubical Type Theory in a Topos},
author = {Ian Orton and Andrew M. Pitts},
year = {2016},
doi = {10.4230/LIPIcs.CSL.2016.24},
url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2016.24},
researchr = {https://researchr.org/publication/OrtonP16},
cites = {0},
citedby = {0},
booktitle = {25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France},
editor = {Jean-Marc Talbot and Laurent Regnier},
volume = {62},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-022-4},
}