Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

@inproceedings{Carbone2016CoherenceGD,
  title={Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types},
  author={Marco Carbone and Sam Lindley and Fabrizio Montesi and Carsten Sch{\"u}rmann and Philip Wadler},
  booktitle={CONCUR},
  year={2016}
}
Wadler introduced Classical Processes (CP), a calculus based on a propositions-as-types correspondence between propositions of classical linear logic and session types. Carbone et al. introduced Multiparty Classical Processes, a calculus that generalises CP to multiparty session types, by replacing the duality of classical linear logic (relating two types) with a more general notion of coherence (relating an arbitrary number of types). This paper introduces variants of CP and MCP, plus a new… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…