8 citations · 29 across the 15 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 6 cited
Proof Theory of Skew Non-Commutative MILL
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…
cs.LO2022★ 1 cited
Normalization by Evaluation for the Lambek Calculus
Niccolò Veltri
The syntactic calculus of Lambek is a deductive system for the multiplicative fragment of intuitionistic non-commutative linear logic. As a fine-grained calculus of resources, it h…