Philip S. Mulry

Publication Activity (10 Years)

Years Active: 1986-2018
Publications (10 Years): 1

Top Topics

Top Venues

Festschrift for Dave Schmidt

Publications

Ernie Manes, Philip S. Mulry
Near Distributive Laws. MFPS (2018)
Philip S. Mulry
Notions of Monad Strength. Festschrift for Dave Schmidt (2013)
Ernie Manes, Philip S. Mulry
Monad compositions II: Kleisli strength. Math. Struct. Comput. Sci. 18 (3) (2008)
Philip S. Mulry
Lifting results for categories of algebras. Theor. Comput. Sci. 278 (1-2) (2002)
Philip S. Mulry
Monads in Semantics. Electron. Notes Theor. Comput. Sci. 14 (1998)
Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
Preface. Electron. Notes Theor. Comput. Sci. 14 (1998)
Philip S. Mulry
Partial Map Classifiers and Partial Cartesian Closed Categories. Theor. Comput. Sci. 136 (1) (1994)
Philip S. Mulry
Lifting Theorems for Kleisli Categories. MFPS (1993)
Philip S. Mulry
Monads and Algebras in the Semantics or Partial Data Types. Theor. Comput. Sci. 99 (1) (1992)
Philip S. Mulry
Categorical Fixed Point Semantics. Theor. Comput. Sci. 70 (1) (1990)
Philip S. Mulry
A Categorical Approach to the Theory of Computation. Ann. Pure Appl. Log. 43 (3) (1989)
Philip S. Mulry
Kan Extensions in Effective Semantics. MFPS (1987)
Philip S. Mulry
Adjointness in recursion. Ann. Pure Appl. Log. 32 (1986)