- Operads, clones, and distributive laws PierreLouis Curien
- Abstract machines, control, and sequents Pierre-Louis Curien (CNRS Universite Paris VII)
- The duality of computation under focus Pierre-Louis Curien (CNRS, Paris 7, and INRIA) and Guillaume Munch-Maccagnoni (Paris 7 and INRIA)
- Playful, streamlike computation Pierre-Louis Curien (CNRS & Universit e Paris VII)
- Une br eve biographie scienti que de Maurice Nivat
- GDP Festschrift ENTCS, to appear Definability and full abstraction
- Lambda-calcul et domaines Pierre-Louis Curien
- Introduction to CCS and -calculus Pierre-Louis Curien
- Symmetry and interactivity in programming
- An approach to innocent strategies as graphs
- Games in computer science: a survey Pierre-Louis Curien
- Thorie de la dmonstration Pierre-Louis Curien (CNRS and University Paris 7)
- Introduction to linear logic and ludics, Part II Pierre-Louis Curien (CNRS & Universite Paris VII)
- Abstract Machines for Dialogue Games P.-L. Curien (CNRS -Paris 7)
- Introduction to linear logic and ludics, Part I Pierre-Louis Curien (CNRS & Universite Paris VII)
- Category theory: a programming languageoriented introduction
- S emantique op erationnelle Pierre-Louis Curien (gdt Mod elisation et V eri cation, LIAFA)
- Documents de travail pour l'oral d'informatique des ENS
- Thorie de la dmonstration Transparents complmentaires / de transition
- Explicit Substitutions M. Abadi L. Cardelli P.-L. Curieny J.-J. L evyz
- What can sequent calculus do for functional programs ?
- Computational self-assembly Pierre-Louis Curien
- Formal Parametric Polymorphism Martn Abadi Luca Cardelli Pierre-Louis Curien
- Sequential algorithms as bistable maps Pierre-Louis Curien (CNRS -Universite Paris 7)
- Notes on game semantics Pierre-Louis Curien (CNRS Universite Paris 7)
