Philip S. Mulry

Available identifiers

zbMath Open mulry.philip-sMaRDI QIDQ581395

List of research outcomes

Publication	Date of Publication	Type
Lifting theorems for Kleisli categories	2023-04-28	Paper
Notions of monad strength	2021-06-21	Paper
Monad compositions II: Kleisli strength	2008-08-15	Paper
Monad compositions. I: General constructions and recursive distributive laws	2007-04-13	Paper
Lifting results for categories of algebras	2002-07-15	Paper
Partial map classifiers and partial cartesian closed categories	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q3138544	1994-10-11	Paper
Monads and algebras in the semantics of partial data types	1992-09-27	Paper
Categorical fixed point semantics	1992-06-25	Paper
A categorial approach to the theory of computation	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207894	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795830	1988-01-01	Paper
Adjointness in recursion	1986-01-01	Paper
Generalized Banach-Mazur functionals in the topos of recursive sets	1982-01-01	Paper

Research outcomes over time

This page was built for person: Philip S. Mulry