| 2019 | LICS | A Sequent Calculus for Opetopes. | Cdric Ho Thanh, Pierre-Louis Curien, Samuel Mimram |
| 2016 | POPL | A theory of effects and resources: adjunction models and polarised calculi. | Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni |
| 2008 | CSL | The Joy of String Diagrams. | Pierre-Louis Curien |
| 2005 | CSL | L-Nets, Strategies and Proof-Nets. | Pierre-Louis Curien, Claudia Faggian |
| 2000 | ICFP | The duality of computation. | Pierre-Louis Curien, Hugo Herbelin |
| 1998 | FLOPS | Computing with Abstract Bhm Trees. | Pierre-Louis Curien, Hugo Herbelin |
| 1993 | MFPS | On the Symmetry of Sequentiality. | Pierre-Louis Curien |
| 1993 | POPL | Formal Parametric Polymorphism. | Martn Abadi, Luca Cardelli, Pierre-Louis Curien |
| 1992 | LICS | Observable Algorithms on Concrete Data Structures | Pierre-Louis Curien |
| 1992 | MFCS | Strong Normalization of Substitutions. | Pierre-Louis Curien, Thrse Hardin, Alejandro Ros |
| 1991 | ICALP | A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. | Pierre-Louis Curien, Roberto Di Cosmo |
| 1990 | POPL | Explicit Substitutions. | Martn Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lvy |
| 1985 | ICALP | Categorial Combinatory Logic. | Pierre-Louis Curien |