Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab