Normal Form Bisimulations by Value

Adrienne Lancelot

2023-10-05 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse