Linear logic is well known for its resource-awareness, which has inspired the design of
several resource management mechanisms in programming language design. Its resource …

This paper establishes cut-elimination for, and, that are non-wellfounded sequent calculi
with least and greatest fixed-points, by expanding on prior works by Santocanale and Fortier …

Finding a denotational semantics for higher order quantum computation is a long-standing
problem in the semantics of quantum programming languages. Most past approaches to this …

The category Rel of sets and relations yields one of the simplest denotational semantics of
Linear Logic (LL). It is known that Rel is the biproduct completion of the Boolean ring. We …

Differential linear logic enriches linear logic with additional logical rules for the exponential
connectives, dual to the usual rules of dereliction, weakening and contraction. We present a …

This document is an elementary introduction to string diagrams. It takes a computer science
perspective: rather than using category theory as a starting point, we build on intuitions from …

We present a denotational semantics for higher-order probabilistic programs in terms of
linear operators between Banach spaces. Our semantics is rooted in the classical theory of …

Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based
on those as unifying concept, this monograph on polygraphs revisits the theory of rewriting …

We proved recently that the extensional collapse of the relational model of linear logic
coincides with its Scott model, whose objects are preorders and morphisms are downwards …

Differential Linear Logic (DiLL) adds to Linear Logic (LL) a symmetrization of three out of the
four exponential rules, which allows the expression of a natural notion of differentiation. In …