Multiparty Session Types Within A Canonical Binary Theory, and Beyond

Authors

Luis Caires, Jorge A Pérez,