20 citations · 20 across the 1 of their papers we have counts for
5 papers
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…
Playful, streamlike computation
Pierre-Louis Curien
We offer a short tour into the interactive interpretation of sequential programs. We emphasize streamlike computation -- that is, computation of successive bits of information upon…