Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Ambroise Lafont a rédigé la thèse suivante :
Signatures and models for syntax and operational semantics in the presence of variable binding
par Ambroise Lafont sous la direction de Nicolas Tabareau et de Tom Hirschowitz . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique et applications
Soutenue le 02-12-2019
