Dominic Hughes - Selected Papers

Modelling Linear Logic without Units (Preliminary Results) [pdf - ps - ps.gz]
With Robin Houston and Andrea Schalk.
Draft, 23 pages. Archived as math/0504037 at

We describe a notion of categorical model for unitless fragments of (multiplicative) linear logic. The basic definition uses promonoidal categories, and we also give an equivalent elementary axiomatisation.