Monoidal bicategories, differential linear logic, and analytic functors (2024)
Attributed to:
Monoidal bicategories, linear logic and operads
funded by
EPSRC
Abstract
No abstract provided