Philip S. Mulry

14 papers B 3Journal 7Unranked 3

Year	Rank	Type	Title / Venue / Authors
2018	B	`conf`	Near Distributive Laws. MFPS Ernie Manes, Philip S. Mulry
2013	—	`conf`	Notions of Monad Strength. Festschrift for Dave Schmidt Philip S. Mulry
2008	J	`jnl`	Monad compositions II: Kleisli strength. Math. Struct. Comput. Sci. Ernie Manes, Philip S. Mulry
2002	J	`jnl`	Lifting results for categories of algebras. Theor. Comput. Sci. Philip S. Mulry
1998	—	`ed.`	US-Brazil Joint Workshops on the Formal Foundations of Software Systems, Rio de Janeiro, Brazil, May 5-9, 1997 & New Orleans, LA, USA, November 13-16, 1997 US-Brazil Joint Workshops on the Formal Foundations of Software Systems Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
1997	—	`conf`	Monads in Semantics. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Philip S. Mulry
1997	—	`conf`	Preface. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
1994	J	`jnl`	Partial Map Classifiers and Partial Cartesian Closed Categories. Theor. Comput. Sci. Philip S. Mulry
1993	B	`conf`	Lifting Theorems for Kleisli Categories. MFPS Philip S. Mulry
1992	J	`jnl`	Monads and Algebras in the Semantics or Partial Data Types. Theor. Comput. Sci. Philip S. Mulry
1990	J	`jnl`	Categorical Fixed Point Semantics. Theor. Comput. Sci. Philip S. Mulry
1989	J	`jnl`	A Categorical Approach to the Theory of Computation. Ann. Pure Appl. Log. Philip S. Mulry
1987	B	`conf`	Kan Extensions in Effective Semantics. MFPS Philip S. Mulry
1986	J	`jnl`	Adjointness in recursion. Ann. Pure Appl. Log. Philip S. Mulry