Client-Server Sessions in Linear Logic

Zesen Qian, G. A. Kavvos, Lars Birkedal

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 w…