Skip to Main content Skip to Navigation
Conference papers

Coherence Generalises Duality: a logical explanation of multiparty session types

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⟩

Share

Metrics

Record views

41