Sélection d'exposés

Exposé de synthèse sur le Calcul des Constructions Inductives (ps, pdf) [septembre 2009]
Exposé introductif aux continuations délimitées par nom (pdf, advi) [juillet 2007]
Exposé sur la dualité du calcul (pdf) [PRELUDE, janvier 2008]
Exposé sur la dualité du calcul (pdf, advi) [HOR '06]