%0 Conference Paper %1 conf/csl/Cavallo020 %A Cavallo, Evan %A Harper, Robert %B CSL %D 2020 %E Fernández, Maribel %E Muscholl, Anca %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 13:1-13:17 %T Internal Parametricity for Cubical Type Theory. %U http://dblp.uni-trier.de/db/conf/csl/csl2020.html#Cavallo020 %V 152 %@ 978-3-95977-132-0

@inproceedings{conf/csl/Cavallo020, added-at = {2020-01-15T00:00:00.000+0100}, author = {Cavallo, Evan and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2c18b8027cc7175aa69a78fd8c68d4766/dblp}, booktitle = {CSL}, crossref = {conf/csl/2020}, editor = {Fernández, Maribel and Muscholl, Anca}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2020.13}, interhash = {87d80b4835983173d6c69d32ece4c6b8}, intrahash = {c18b8027cc7175aa69a78fd8c68d4766}, isbn = {978-3-95977-132-0}, keywords = {dblp}, pages = {13:1-13:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:49:54.000+0200}, title = {Internal Parametricity for Cubical Type Theory.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2020.html#Cavallo020}, volume = 152, year = 2020 }