Skip to Main content Skip to Navigation
Conference papers

Multiparty Session Types as Coherence Proofs

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01231453
Contributor : Fabrizio Montesi <>
Submitted on : Friday, November 20, 2015 - 12:09:54 PM
Last modification on : Friday, August 23, 2019 - 3:20:03 PM

Identifiers

Citation

Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida. Multiparty Session Types as Coherence Proofs. 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.412⟩. ⟨hal-01231453⟩

Share

Metrics

Record views

49