6 citations · 6 across the 1 of their papers we have counts for
1 paper
Tarmo Uustalu, Niccolò Veltri, Cheng-Syuan Wan
Monoidal closed categories naturally model NMILL, non-commutative multiplicative intuitionistic linear logic: the monoidal unit and tensor interpret the multiplicative verum and co…