Slides
This list includes a series of slides of my recent (or less recent) talks.
Five basic concepts of axiomatic rewriting theory
Invited talk at the 5th International Workshop on Confluence, Obergurgl, September 2016.
Linear logic and higher-order model-checking
Talk at Institut Henri Poincaré, June 2014.
Sharing and duplication in tensorial logic
Invited talk at
DICE 2013
, Roma, March 2013.
Tensorial logic with fixpoints
Talk at the Groupe de Travail Jeux of the GDR Informatique Mathématique, ENS Cachan, September 2012.
Parametric monads and enrichment
Talk at
LOLA 2012
, Dubrovnik, June 2012.
An introduction to Yoneda structures.
Talk at the weekly seminar
catégories supérieures, polygraphes et homotopie
in Chevaleret, May 2010.
First steps in random walks.
Seminar talk given at Ecole Polytechnique, at a meeting of the ANR Panda, May 2010.
Functorial boxes in string diagrams.
Invited talk at
Computer Science Logic 2006
in Szeged.
Recursive types and parametricity in an operational framework.
Sunday talk at
Logic in Computer Science 2005
in Chicago.
Asynchronous games: a fully complete model of propositional linear logic.
Wednesday talk at
Logic in Computer Science 2005
in Chicago.
Axiomatic Rewriting Theory VI: Residual theory revisited.
Best paper award of the conference
Rewriting Techniques and Applications 2002
in Copenhagen.
Axiomatic rewriting theory and explicit substitutions.
Invited talk at WESTAPP 2001 devoted to explicit substitutions.
On head-rewriting paths in the lambda-sigma-calculus.
Talk at
HOR 2002
devoted to higher-order rewriting.
Games are continuation models!
(On Blass phenomenon, duality and polarized linear logic.)
Talk at Full Completeness and Full Abstraction, Satellite workshop of
LICS 2001
in Boston.