Multiparty session types as coherence proofs
- Marco Carbone
- , Fabrizio Montesi
- , Fabrizio Montesi
- , Carsten Schürmann
- , Nobuko Yoshida
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review