Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus. Extending Homotopy Type Theory with Strict Equality. 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{AltenkirchCK16, title = {Extending Homotopy Type Theory with Strict Equality}, author = {Thorsten Altenkirch and Paolo Capriotti and Nicolai Kraus}, year = {2016}, doi = {10.4230/LIPIcs.CSL.2016.21}, url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2016.21}, researchr = {https://researchr.org/publication/AltenkirchCK16}, 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}, }