HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Coherence Generalises Duality: a logical explanation of multiparty session types

Marco Carbone 1 Sam Lindley 2 Fabrizio Montesi 3 Carsten Schürmann 1 Philip Wadler 2
1 IT University of Copenhagen
2 University of Edinburgh
3 SDU - University of Southern Denmark
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01336600
Contributor : Fabrizio Montesi Connect in order to contact the contributor
Submitted on : Thursday, June 23, 2016 - 1:43:28 PM
Last modification on : Wednesday, November 24, 2021 - 9:54:10 AM

Identifiers

  • HAL Id : hal-01336600, version 1

Citation

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler. Coherence Generalises Duality: a logical explanation of multiparty session types. 27 International Conference on Concurrency Theory (CONCUR'16), Aug 2016, Québec City, Canada. ⟨hal-01336600⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

30

 

Contact                    Legal Notice                    Personal Data