Évènements
Rechercher un événement
19
Jun
19
Jun
∞-categorical models of linear logic
Elies Harington (LIX & LIPN)
The notion of categorical model of linear logic is now well studied and established around the notion of linear-non-linear adjunction, which encompasses the previous notions [...]
