A Subexponential View of Domains in Session Types

Daniele Nantes, Carlos Olarte, Daniel Ventura

Linear logic (LL) has inspired the design of many computational systems, offering reasoning techniques built on top of its meta-theory. Since its inception, several connections bet…