Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types
- Marco Carbone
- , Sam Lindley
- , Fabrizio Montesi
- , Carsten Schürmann
- , Philip Wadler
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution