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 <>
Submitted on : Thursday, June 23, 2016 - 1:43:28 PM
Last modification on : Friday, August 23, 2019 - 3:20:03 PM

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

Share

Metrics

Record views

41

 

Contact                    Legal Notice                    Personal Data