DeepAI AI Chat
Log In Sign Up

Client-Server Sessions in Linear Logic

by   Zesen Qian, et al.

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.


page 1

page 2

page 3

page 4


On the Fair Termination of Client-Server Sessions

Client-server sessions are based on a variation of the traditional inter...

Multiparty Classical Choreographies

We present Multiparty Classical Choreographies (MCC), a language model w...

Lowering Barriers to Application Development With Cloud-Native Domain-Specific Functions

Creating and maintaining a modern, heterogeneous set of client applicati...

IntegriScreen: Visually Supervising Remote User Interactions on Compromised Clients

Remote services and applications that users access via their local clien...

An Online Framework to Interact and Efficiently Compute Linear Layouts of Graphs

We present a prototype online system to automate the procedure of comput...

Chat Room Using HTML, PHP, CSS, JS, AJAX

Earlier there was no mode of online communication between users. In big ...

VegaFusion: Automatic Server-Side Scaling for Interactive Vega Visualizations

The Vega grammar has been broadly adopted by a growing ecosystem of brow...