A Fibrational Approach to Differential Linear Logic

Jad Koleilat

2025-10-09 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse