%0 Conference Paper %1 conf/csl/BirkedalBCGSV16 %A Birkedal, Lars %A Bizjak, Ales %A Clouston, Ranald %A Grathwohl, Hans Bugge %A Spitters, Bas %A Vezzosi, Andrea %B CSL %D 2016 %E Talbot, Jean-Marc %E Regnier, Laurent %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 23:1-23:17 %T Guarded Cubical Type Theory: Path Equality for Guarded Recursion. %U http://dblp.uni-trier.de/db/conf/csl/csl2016.html#BirkedalBCGSV16 %V 62 %@ 978-3-95977-022-4

@inproceedings{conf/csl/BirkedalBCGSV16, added-at = {2021-04-09T00:00:00.000+0200}, author = {Birkedal, Lars and Bizjak, Ales and Clouston, Ranald and Grathwohl, Hans Bugge and Spitters, Bas and Vezzosi, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/23bd339d39482a5831e8f5ada7679d19b/dblp}, booktitle = {CSL}, crossref = {conf/csl/2016}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2016.23}, interhash = {f07beb4605103248aa3981b70bfc8c23}, intrahash = {3bd339d39482a5831e8f5ada7679d19b}, isbn = {978-3-95977-022-4}, keywords = {dblp}, pages = {23:1-23:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T06:35:15.000+0200}, title = {Guarded Cubical Type Theory: Path Equality for Guarded Recursion.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2016.html#BirkedalBCGSV16}, volume = 62, year = 2016 }