K-models of a parallel and non-deterministic lambda-calculus.
. Univ. Roma 3, avril 2009.
Sur la lambda-définissabilité
. Soutenance HDR, Univ. Paris Diderot, décembre 2009.
Categorical models of simply typed resource calculi
. Univ. of Ottawa, Mai 2010 (Math. Found. of Prog. Sem. 2010)
Relation logiques et fonctions booléennes
. Univ. Paris 8, mai 2011.
Un point de vue dénotationnel sur les langages de programmation fonctionnelle
. CNAM, Paris, mars 2012.