Linear Logic Without Units (Houston, 2007)

Last updated Sep 8, 2023

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

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