Multiparty session types as coherence proofs
Marco Carbone, Fabrizio Montesi, Carsten Schürmann 0001, Nobuko Yoshida
[2017].
In Acta Informatica 54.
@article{DBLP:journals/acta/CarboneMSY17, author = {Marco Carbone and Fabrizio Montesi and Carsten Sch{\"{u}}rmann and Nobuko Yoshida}, title = {Multiparty session types as coherence proofs}, journal = {Acta Informatica}, volume = {54}, number = {3}, pages = {243--269}, year = {2017}, url = {https://doi.org/10.1007/s00236-016-0285-y}, doi = {10.1007/S00236-016-0285-Y}, timestamp = {Wed, 10 Jan 2024 22:27:38 +0100}, biburl = {https://dblp.org/rec/journals/acta/CarboneMSY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
A PDF is available (possibly a preprint):