4 citations · 10 across the 11 of their papers we have counts for
1 paper · 2 filters
Pierre Hyvernat
We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor pro…