4 citations · 8 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 2 cited
Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories
Hugo Paquet, Philip Saville
Premonoidal categories and Freyd categories provide an encompassing framework for the semantics of call-by-value programming languages. Premonoidal categories are a weakening of mo…
cs.LO2023★ 1 cited
Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads
Hugo Paquet, Philip Saville
We develop the theory of strong and commutative monads in the 2-dimensional setting of bicategories. This provides a framework for the analysis of effects in many recent models whi…