Multiparty session types as coherence proofs
- Marco Carbone
- , Fabrizio Montesi
- , Fabrizio Montesi
- , Carsten Schürmann
- , Nobuko Yoshida
- University of Southern Denmark
- Imperial College London
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review