Informatique : cours et exercices corrigés : MP2I MPI / Thibaut Balabonski, Sylvain
Conchon, Jean-Christophe Filliâtre... [et al.] ; préface de Laurent Chéno, 2022
La plein paresse, une certain optimalité: partage de sous-termes et stratégies de
réduction en réécriture d'ordre supérieur/ Thibaut Balabonski; sous la direction de
Delia Kesner (Thèse), 2012