%0 Conference Paper %1 conf/csl/AltenkirchCK16 %A Altenkirch, Thorsten %A Capriotti, Paolo %A Kraus, Nicolai %B CSL %D 2016 %E Talbot, Jean-Marc %E Regnier, Laurent %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 21:1-21:17 %T Extending Homotopy Type Theory with Strict Equality. %U http://dblp.uni-trier.de/db/conf/csl/csl2016.html#AltenkirchCK16 %V 62 %@ 978-3-95977-022-4

@inproceedings{conf/csl/AltenkirchCK16, added-at = {2023-12-13T07:40:40.000+0100}, author = {Altenkirch, Thorsten and Capriotti, Paolo and Kraus, Nicolai}, biburl = {https://www.bibsonomy.org/bibtex/2118b41207ef99bbf34164660efe577e8/admin}, booktitle = {CSL}, crossref = {conf/csl/2016}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2016.21}, interhash = {bbe474ac1dd2f0d0bc763750f71334f1}, intrahash = {118b41207ef99bbf34164660efe577e8}, isbn = {978-3-95977-022-4}, keywords = {}, pages = {21:1-21:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-13T07:40:40.000+0100}, title = {Extending Homotopy Type Theory with Strict Equality.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2016.html#AltenkirchCK16}, volume = 62, year = 2016 }