32 citations · 72 across the 18 of their papers we have counts for
7 papers · 1 filter
Coherent Presentations of Monoidal Categories
Pierre-Louis Curien, Samuel Mimram
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We…
The duality of computation under focus
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
We review the close relationship between abstract machines for (call-by-name or call-by-value) lambda-calculi (extended with Felleisen's C) and sequent calculus, reintroducing on t…
Abstract machines for dialogue games
Pierre-Louis Curien, Hugo Herbelin
The notion of abstract Boehm tree has arisen as an operationally-oriented distillation of works on game semantics, and has been investigated in two papers. This paper revisits the…
Introduction to linear logic and ludics, part II
Pierre-Louis Curien
This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicati…
Introduction to linear logic and ludics, part I
Pierre-Louis Curien
This two-parts paper offers a survey of linear logic and ludics, which were introduced by Girard in 1986 and 2001, respectively. Both theories revisit mathematical logic from first…
Symmetry and interactivity in Programming
Pierre-Louis Curien
We recall some of the early occurrences of the notions of interactivity and symmetry in the operational and denotational semantics of programming languages. We suggest some connect…