69 citations · 205 across the 22 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 12 cited
What Makes a Strong Monad?
Dylan McDermott, Tarmo Uustalu
Strong monads are important for several applications, in particular, in the denotational semantics of effectful languages, where strength is needed to sequence computations that ha…
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…