Compléxité des topos pour la logique linéaire : une analyse socio-philosophique (en Coq)

Sergueï Lenglet

2025-04-26 14:00:00, #SéminaireLocal
Bobigny