AI Chat AI Image Generator AI Video Text to Speech

Duality of Session Types: The Final Cut

04/03/2020

∙

by Simon J. Gay, et al.

∙

∙

Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been published. As their connection is not obvious, we compare the competing definitions, discuss tradeoffs, and prove some equivalences. Some of the results are mechanized in Agda.

Simon J. Gay
5 publications
Peter Thiemann
15 publications
Vasco T. Vasconcelos
16 publications

page 1

page 2

page 3

page 4

research

∙ 01/20/2022

The Different Shades of Infinite Session Types

Many type systems include infinite types. In session type systems, which...

0 Simon J. Gay, et al. ∙

research

∙ 12/11/2019

Bitopological Duality for Algebras of Fittings logic and Natural Duality extension

In this paper, we investigate a bitopological duality for algebras of Fi...

0 Litan Kumar Das, et al. ∙

research

∙ 11/30/2017

Session Types for Orchestrated Interactions

In the setting of the pi-calculus with binary sessions, we aim at relaxi...

0 Franco Barbanera, et al. ∙

research

∙ 09/12/2019

Open Multiparty Sessions

Multiparty sessions are systems of concurrent processes, which allow sev...

0 Franco Barbanera, et al. ∙

research

∙ 09/28/2020

Ferrite: A Judgmental Embedding of Session Types in Rust

This article introduces Ferrite, a shallow embedding of session types in...

0 Ruofei Chen, et al. ∙

research

∙ 02/09/2021

Synchronous Forwarders

Session types are types for specifying protocols that processes must fol...

0 Marco Carbone, et al. ∙

research

∙ 12/17/2020

A duality theoretic view on limits of finite structures: Extended version

A systematic theory of structural limits for finite models has been deve...

0 Mai Gehrke, et al. ∙