Slides
This list includes a series of slides of my recent talks.
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.