Laboratoire d'informatique de l'École polytechnique

Talk by Alex Kavvos: « Client-Server Sessions in Linear Logic »

Speaker: Alex Kavvos
Location: BBB
Date: Wed, 23 Jun 2021, 14:00-15:00

For a new seminar of the proofs and algorithms pole of LIX, we are happy to welcome Alex Kavvos.

Abstract: 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.

Link to the online conference

The list of next seminars can be found at: https://smimram.gitlabpages.inria.fr/proofs-algorithms/seminar/

The calendar of seminars can be found at: https://smimram.gitlabpages.inria.fr/proofs-algorithms/seminar/calendar.ics