| |
| 2009 | ||
|---|---|---|
| 5 | EE | Robin Cockett, Ernie Manes: Boolean and classical restriction categories. Mathematical Structures in Computer Science 19(2): 357-416 (2009) |
| 2008 | ||
| 4 | EE | Ernie Manes, Philip S. Mulry: Monad compositions II: Kleisli strength. Mathematical Structures in Computer Science 18(3): 613-643 (2008) |
| 2007 | ||
| 3 | EE | Ernie Manes: Taut Monads, Dynamic Logic and Determinism. Electr. Notes Theor. Comput. Sci. 173: 241-262 (2007) |
| 2006 | ||
| 2 | EE | Ernie Manes: Boolean restriction categories and taut monads. Theor. Comput. Sci. 360(1-3): 77-95 (2006) |
| 1987 | ||
| 1 | Ernie Manes: Assertional Categories. MFPS 1987: 85-120 | |
| 1 | Robin Cockett | [5] |
| 2 | Philip S. Mulry | [4] |