Skip to main navigation Skip to search Skip to main content

Multiparty Session Types as Coherence Proofs

  • University of Southern Denmark
  • Imperial College London

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Multiparty Session Types as Coherence Proofs'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases