45 citations · 82 across the 7 of their papers we have counts for
1 paper · 1 filter
Robin Houston, Dominic Hughes, Andrea Schalk
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…