Deux doctorants à Sorbonne Université (Direction de recherche / Co-encadrement)

Publications 2022

• 2022
  • A. Guatto, Ch. Tasson, A. Vienot : “A reactive operational semantics for a lambda-calculus with time warps”, Journées Francophones des Langages Applicatifs - JFLA 2022, Saint-Médard-d'Excideuil, France (2022)