%0 Conference Paper %1 conf/csl/BirkedalST12 %A Birkedal, Lars %A Sieczkowski, Filip %A Thamsborg, Jacob %B CSL %D 2012 %E Cégielski, Patrick %E Durand, Arnaud %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 107-121 %T A Concurrent Logical Relation. %U http://dblp.uni-trier.de/db/conf/csl/csl2012.html#BirkedalST12 %V 16 %@ 978-3-939897-42-2

@inproceedings{conf/csl/BirkedalST12, added-at = {2021-10-14T00:00:00.000+0200}, author = {Birkedal, Lars and Sieczkowski, Filip and Thamsborg, Jacob}, biburl = {https://www.bibsonomy.org/bibtex/259ae210a7b0126a263a72d372efde00a/dblp}, booktitle = {CSL}, crossref = {conf/csl/2012}, editor = {Cégielski, Patrick and Durand, Arnaud}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2012.107}, interhash = {6f16a2df24c4d23091f607eba5d40896}, intrahash = {59ae210a7b0126a263a72d372efde00a}, isbn = {978-3-939897-42-2}, keywords = {dblp}, pages = {107-121}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T06:35:01.000+0200}, title = {A Concurrent Logical Relation.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2012.html#BirkedalST12}, volume = 16, year = 2012 }