dblp.uni-trier.dewww.uni-trier.de

Philip S. Mulry

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EEErnie Manes, Philip S. Mulry: Monad compositions II: Kleisli strength. Mathematical Structures in Computer Science 18(3): 613-643 (2008)
2002
9EEPhilip S. Mulry: Lifting results for categories of algebras. Theor. Comput. Sci. 278(1-2): 257-269 (2002)
1998
8EEPhilip S. Mulry: Monads in Semantics. Electr. Notes Theor. Comput. Sci. 14: (1998)
7EERance 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

Coauthor Index

1Rance Cleaveland [7]
2Ernie Manes [10]
3Michael W. Mislove [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)