Ernie Manes

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Ernie Manes
Continuous Monads. MFPS (2020)
Ernie Manes, Philip S. Mulry
Near Distributive Laws. MFPS (2018)
J. Robin B. Cockett, Ernie Manes
Boolean and classical restriction categories. Math. Struct. Comput. Sci. 19 (2) (2009)
Ernie Manes, Philip S. Mulry
Monad compositions II: Kleisli strength. Math. Struct. Comput. Sci. 18 (3) (2008)
Ernie Manes
Taut Monads, Dynamic Logic and Determinism. MFPS (2007)
Ernie Manes
Boolean restriction categories and taut monads. Theor. Comput. Sci. 360 (1-3) (2006)
Ernie Manes
Assertional Categories. MFPS (1987)