Linear Logic Without Units (Houston, 2007)

Last updated Oct 7, 2024

Thesis talking about promonoidal categories and a fragment of linear logic without units.

• https://arxiv.org/pdf/1305.2231.pdf