39 citations · 146 across the 23 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 3 cited
Natural Transformations as Rewrite Rules and Monad Composition
Dexter Kozen
Eklund et al. (2002) present a graphical technique aimed at simplifying the verification of various category-theoretic constructions, notably the composition of monads. In this not…
cs.LO2016
On Free -Continuous and Regular Ordered Algebras
Zoltan Esik, Dexter Kozen
We study varieties of certain ordered -algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of sub…