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 server-client programming, which we translate to our system of coexponentials.

翻译：我们引入了共化逻辑,这是一套新的经典线性逻辑模式。作为指数的双重模式,共化逻辑编纂了一种分散的变弱和收缩结构规则形式。这使得它们成为一个合适的逻辑装置,用来包封服务器在单一频道上接收任意数量客户请求的模式。根据这一直觉,我们根据古典线性逻辑和共化逻辑构建一个会话类型系统,适合模拟客户-服务器互动。我们还为服务器客户-客户程序制作提供了一种会话式功能编程语言,我们将其翻译成我们的共化系统。