Multiparty Session Types as Coherence Proofs
- Marco Carbone
- , Fabrizio Montesi
- , Carsten Schürmann
- , Nobuko Yoshida
- University of Southern Denmark
- Imperial College London
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review