Adjointness in recursion. - Philip S. Mulry (Ann. Pure Appl. Log., 1986)

Kan Extensions in Effective Semantics. - Philip S. Mulry (MFPS, 1987)

A Categorical Approach to the Theory of Computation. - Philip S. Mulry (Ann. Pure Appl. Log., 1989)

Categorical Fixed Point Semantics. - Philip S. Mulry (Theor. Comput. Sci., 1990)

Monads and Algebras in the Semantics or Partial Data Types. - Philip S. Mulry (Theor. Comput. Sci., 1992)

Lifting Theorems for Kleisli Categories. - Philip S. Mulry (MFPS, 1993)

Partial Map Classifiers and Partial Cartesian Closed Categories. - Philip S. Mulry (Theor. Comput. Sci., 1994)

Preface. - Rance Cleaveland; Michael W. Mislove; Philip S. Mulry (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Monads in Semantics. - Philip S. Mulry (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Lifting results for categories of algebras. - Philip S. Mulry (Theor. Comput. Sci., 2002)

Monad compositions II: Kleisli strength. - Ernie Manes; Philip S. Mulry (Math. Struct. Comput. Sci., 2008)

Notions of Monad Strength. - Philip S. Mulry (Festschrift for Dave Schmidt, 2013)

Near Distributive Laws. - Ernie Manes; Philip S. Mulry (MFPS, 2018)