Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results
- Last Name(descending)

Sam Lindley
- School of Informatics - Reader in Programming Language Design and Implementation
- Laboratory for Foundations of Computer Science
Person: Academic: Research Active