%0 Conference Paper %1 journals/entcs/DahlqvistDG16 %A Dahlqvist, Fredrik %A Danos, Vincent %A Garnier, Ilias %B MFPS %D 2016 %E Birkedal, Lars %I Elsevier %K %P 85-110 %T Giry and the Machine. %U http://dblp.uni-trier.de/db/journals/entcs/entcs325.html#DahlqvistDG16 %V 325

@inproceedings{journals/entcs/DahlqvistDG16, added-at = {2023-12-12T20:29:07.000+0100}, author = {Dahlqvist, Fredrik and Danos, Vincent and Garnier, Ilias}, biburl = {https://www.bibsonomy.org/bibtex/2506e1f488bb4f4811c2770eeb96b4b0b/admin}, booktitle = {MFPS}, crossref = {conf/mfps/2016}, editor = {Birkedal, Lars}, ee = {https://doi.org/10.1016/j.entcs.2016.09.033}, interhash = {2fd9a829f21cac24078fe4ec83802299}, intrahash = {506e1f488bb4f4811c2770eeb96b4b0b}, keywords = {}, pages = {85-110}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2023-12-12T20:29:07.000+0100}, title = {Giry and the Machine.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs325.html#DahlqvistDG16}, volume = 325, year = 2016 }