6 citations · 6 across the 2 of their papers we have counts for
2 papers
math.CT2012
Operads, clones, and distributive laws
Pierre-Louis Curien
We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory…
cs.LO2010★ 6 cited
The duality of computation under focus
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
We review the close relationship between abstract machines for (call-by-name or call-by-value) lambda-calculi (extended with Felleisen's C) and sequent calculus, reintroducing on t…