Multiparty Session Types as Coherence Proofs.

Marco Carbone, Fabrizio Montesi, Carsten Schrmann, Nobuko Yoshida

Browse the full CONCUR paper archive.