![]() | ![]() |
2008 | ||
---|---|---|
10 | EE | Ernie Manes, Philip S. Mulry: Monad compositions II: Kleisli strength. Mathematical Structures in Computer Science 18(3): 613-643 (2008) |
2002 | ||
9 | EE | Philip S. Mulry: Lifting results for categories of algebras. Theor. Comput. Sci. 278(1-2): 257-269 (2002) |
1998 | ||
8 | EE | Philip S. Mulry: Monads in Semantics. Electr. Notes Theor. Comput. Sci. 14: (1998) |
7 | EE | Rance Cleaveland, Michael W. Mislove, Philip S. Mulry: Preface. Electr. Notes Theor. Comput. Sci. 14: (1998) |
1994 | ||
6 | Philip S. Mulry: Partial Map Classifiers and Partial Cartesian Closed Categories. Theor. Comput. Sci. 136(1): 109-123 (1994) | |
1993 | ||
5 | Philip S. Mulry: Lifting Theorems for Kleisli Categories. MFPS 1993: 304-319 | |
1992 | ||
4 | Philip S. Mulry: Monads and Algebras in the Semantics or Partial Data Types. Theor. Comput. Sci. 99(1): 141-155 (1992) | |
1990 | ||
3 | Philip S. Mulry: Categorical Fixed Point Semantics. Theor. Comput. Sci. 70(1): 85-97 (1990) | |
1989 | ||
2 | Philip S. Mulry: A Categorical Approach to the Theory of Computation. Ann. Pure Appl. Logic 43(3): 293-305 (1989) | |
1987 | ||
1 | Philip S. Mulry: Kan Extensions in Effective Semantics. MFPS 1987: 121-132 |
1 | Rance Cleaveland | [7] |
2 | Ernie Manes | [10] |
3 | Michael W. Mislove | [7] |