Announcement_2

Mon papier avec Marie Kerjean et Morgan Rogers dénommé “Functorial Models of Differential Linear Logic” a été accepté à FSCD2025! ⸜(｡˃ ᵕ ˂ )⸝♡

Si le sujet vous intéresse, je vous recommande vivement de lire: A Tangent on Categorical Models of DiLL par Jad Koleilat qui est un travail brillant et améliore grandement ce que nous avions commencé!