Parsing Correctness Criterion for Second Order Multiplicative Linear Logic

Adrien Ragot

2024-11-28 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse