一句话：提出 coexponentials 扩展经典线性逻辑，为客户端-服务器交互建立会话类型系统与编程语言。
论文关注如何在逻辑层面刻画客户端-服务器交互：服务器在单一通道上接收任意数量客户端的请求，需要一种分布式的弱化与收缩。作者为经典线性逻辑引入 coexponentials，作为指数（exponentials）的对偶模态，用以编码这种结构规则。基于带 coexponentials 的经典线性逻辑，论文给出一个会话类型系统，用以建模客户端-服务器协议；并设计了一个会话类型的函数式编程语言，将其翻译到上述 coexponentials 系统。结果是从逻辑到类型系统再到语言的统一构造，表明 coexponentials 适合表达服务器与多客户端之间的会话模式；摘要未涉及实现或实验评估。
We introduce coexponentials, a new set of modalities for Classical Linear Logic. As duals to exponentials, the coexponentials codify a distributed form of the structural rules of weakening and contraction. This makes them a suitable logical device for encapsulating the pattern of a server receiving requests from an arbitrary number of clients on a single channel. Guided by this intuition we formulate a system of session types based on Classical Linear Logic with coexponentials, which is suited to modelling client-server interactions. We also present a session-typed functional programming language for client-server programming, which we translate to our system of coexponentials.