Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schrmann, Philip Wadler

Browse the full CONCUR paper archive.