A 2-categorical note on Day's tensor product.
Algebraic theories and equational logics.
Invited tutorial for the Twenty-fourth Conference on the
Mathematical Foundations of Programming Semantics
University of Pennsylvania (USA), 2008.
Rough notes on
Notes for a postgraduate mini-course,
PPS, Université Paris 7 (France),
Notes on combinatorial functors.
Draft notes, 2001.