Multiparty Session Types as Coherence Proofs | Publicación