2 citations · 2 across the 1 of their papers we have counts for
1 paper
Andrea Schalk, Hugh Paul Steele
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are…