Nicola Gambino: 'Monoidal bicategories, differential linear logic, and analytic functors'

Topos Institute Colloquium, 23rd of May 2024.
———