Linear logical frameworks with subexponentials have been used for the specification of,
among other systems, proof systems, concurrent programming languages and linear …

Linear logic has been used as a foundation (and inspiration) for the development of
programming languages, logical frameworks and models for concurrency. Linear logic's cut …

Logical frameworks allow the specification of deductive systems using the same logical
machinery. Linear logical frameworks have been successfully used for the specification of a …

It is well known that context dependent logical rules can be problematic both to implement
and reason about. This is one of the factors driving the quest for better behaved, ie, local …

The behavior of biochemical systems such as metabolic and signaling pathways may
depend on either the location of the reactants or on the time needed for a reaction to occur …

Several formal systems, such as resolution and minimal model semantics, provide a
framework for logic programming. In this article, we will survey the use of structural proof …

In this work we present the focused proof system SELLF⋒, which extends intuitionistic linear
logic with subexponentials with the ability of quantifying over them, hence allowing for the …

In this survey, we show how the processes-as-formulas interpretation, where computations
and proof-search are strongly connected, can be used to specify different concurrent …

We introduce a novel approach to studying properties of processes in the {\pi}-calculus
based on a processes-as-formulas interpretation, by establishing a correspondence …

Abstract Concurrent Constraint Programming (CCP) is a simple and powerful model of
concurrency where processes interact by telling and asking constraints into a global store of …