%0 Conference Paper %1 conf/concur/CarboneLMSW16 %A Carbone, Marco %A Lindley, Sam %A Montesi, Fabrizio %A Schürmann, Carsten %A Wadler, Philip %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 33:1-33:15 %T Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#CarboneLMSW16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/CarboneLMSW16, added-at = {2024-01-10T00:00:00.000+0100}, author = {Carbone, Marco and Lindley, Sam and Montesi, Fabrizio and Schürmann, Carsten and Wadler, Philip}, biburl = {https://www.bibsonomy.org/bibtex/2936f8d9c8eac76ecb1ebd9d38b948bb8/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.33}, interhash = {156043bc207b1c2231b7c8acb5ca0ee0}, intrahash = {936f8d9c8eac76ecb1ebd9d38b948bb8}, isbn = {978-3-95977-017-0}, keywords = {dblp}, pages = {33:1-33:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T13:06:25.000+0200}, title = {Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#CarboneLMSW16}, volume = 59, year = 2016 }