Axiomatic Rewriting Theory I
A diagrammatic standardization theorem
Processes, Terms and Cycles: Steps on the Road to Infinity.
Essays dedicated to Jan Willem Klop on the occasion
of his 60th birthday.
Edited by Aart Middeldorp, Vincent van Oostrom,
Femke van Raamsdonk and Roel de Vrijer.
Springer Verlag, Lecture Notes in Computer Science 3838.
Note: a preliminary version appeared as
Prépublication de l'équipe PPS (December 2002, number 13).
Pdf (81 pages)
Axiomatic Rewriting Theory II
The lambda-sigma calculus enjoys finite normalisation cones
Journal of Logic and Computation,
vol 10 No. 3, pp. 461-487, 2000.
Pdf (30 pages)
Axiomatic Rewriting Theory III
A factorisation theorem in Rewriting Theory
Proceedings of the 7th Conference on Category Theory
and Computer Science, Santa Margherita Ligure,
Lecture Notes in Computer Science 1290, pp. 49-68, Springer, 1997.
PostScript (20 pages)
Axiomatic Rewriting Theory IV
A stability theorem in Rewriting Theory
Proceedings of the 13th Annual Symposium on
Logic in Computer Science, Indianapolis,
pp. 287-298, 1998.
PostScript (12 pages)
Axiomatic Rewriting Theory V
Computations as events
Axiomatic Rewriting Theory VI
Residual theory revisited
Proceedings of Conference on Rewriting Techniques
and Applications, Copenhague, 2002.
(Best paper award of the conference.)
PostScript (17 pages)
Axiomatic Rewriting Theory VII
Explicit substitutions without critical pairs
A topological correctness criterion for non-commutative logic
Prépublication de l'équipe PPS (December 2002, number 15).
Linear Logic in Computer Science,
T. Ehrhard, J-Y. Girard, P. Ruet and P. Scott eds.
London Mathematical Society Lecture Notes Series,
Volume 316, 2004.
PostScript (40 pages)
Journal version of the LiCS 2007 paper.
Annals in Pure and Applied Logic,
Special Issue edited by Dan Ghica and Russ Harmer,
Volume 161, Issue 5, Pages 632-653.
Pdf (35 pages)
An algebraic account of references in game semantics
Asynchronous games 2
The true concurrency of innocence
Extended abstract published in the
Proceedings of the 15th International Conference
on Concurrency Theory, London, 2004.
Lecture Notes in Computer Science 3170, pp. 448-465, Springer Verlag.
Pdf (17 pages)
Journal version published in the Special Issue
« Selected papers of CONCUR 2004 »
of Theoretical Computer Science
Volume 358, Issues 2-3, pages 200-228, 2006.
Preliminary journal Version:
Pdf (45 pages)
Asynchronous games 3
An innocent model of linear logic
Proceedings of the 10th Conference on Category Theory and Computer Science,
Pdf (21 pages)
Asynchronous games 4
A fully complete model of propositional linear logic
Proceedings of the 20th Conference on Logic in Computer Science,
Pdf (11 pages)
Published in « Interactive models of computation and program behaviour ».
Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine,
Panoramas et Synthèses 27,
Société Mathématique de France, 2009.
Pdf (213 pages)
Functorial boxes in string diagrams
Invited talk at the Computer Science Logic 2006 conference
in Szeged, Hungary.
Lecture Notes in Computer Science 4207, Springer Verlag.
Pdf (43 pages)
Proceedings of the 25th Annual Symposium on Logic in Computer Science, Edinburgh, 2010.
Revised version (including proofs):
Pdf (20 pages)
Monads with arities and their associated theories
Journal of Pure and Applied Algebra
Special Issue devoted to the International Conference in Category Theory (CT2010)
Volume 216, Issues 8–9, August 2012, Pages 2029–2048
Pdf (31 pages)
Local states in string diagrams
Proceedings of the joint conference on Rewriting Techniques and Applications
and Typed Lambda Calculi and Applications.
Pdf (15 pages)
On the subject reduction property for algebraic type systems
Proceedings of the 10th Annual Conference
of the European Association for Computer Science Logic,
Lecture Notes in Computer Science 1258, pp. 34-57, Springer, 1996.
PostScript (18 pages)
Recursive types and low-level languages
Semantic Types: A fresh look at the ideal models for types
Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures,
Pdf (17 pages)
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders, usually the publishers. All
persons and robots copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit
permission of the copyright holder.
The electronic versions of the papers available here may differ from the published versions. The authoritative versions are the published ones.