Non-deterministic abstract machines

Sergueï Lenglet

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