Multiparty Session Types as Coherence Proofs
- Marco Carbone
- , Fabrizio Montesi
- , Carsten Schürmann
- , Nobuko Yoshida
- Syddansk Universitet
- Imperial College London
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review