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⟩