%0 Conference Paper %1 conf/csl/AngiuliF018 %A Angiuli, Carlo %A (Favonia), Kuen-Bang Hou %A Harper, Robert %B CSL %D 2018 %E Ghica, Dan R. %E Jung, Achim %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 6:1-6:17 %T Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities. %U http://dblp.uni-trier.de/db/conf/csl/csl2018.html#AngiuliF018 %V 119 %@ 978-3-95977-088-0

@inproceedings{conf/csl/AngiuliF018, added-at = {2024-02-05T00:00:00.000+0100}, author = {Angiuli, Carlo and (Favonia), Kuen-Bang Hou and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2c70fcc5948b1e5e1daa83a66b2f39539/dblp}, booktitle = {CSL}, crossref = {conf/csl/2018}, editor = {Ghica, Dan R. and Jung, Achim}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2018.6}, interhash = {3149ac9f4c9d74eb4392c8916322f0b3}, intrahash = {c70fcc5948b1e5e1daa83a66b2f39539}, isbn = {978-3-95977-088-0}, keywords = {dblp}, pages = {6:1-6:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T06:35:23.000+0200}, title = {Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2018.html#AngiuliF018}, volume = 119, year = 2018 }