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 proceedingConference contribution

16 Citations (Scopus)

Fingerprint Dive into the research topics of 'Coherence generalises duality: A logical explanation of multiparty session types'. Together they form a unique fingerprint.

Engineering & Materials Science