Philip S. Mulry

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Lifting theorems for Kleisli categories Lecture Notes in Computer Science	2023-04-28	Paper
Notions of monad strength	2021-06-21	Paper
Notions of monad strength (available as arXiv preprint)	2021-06-21	Paper
Monad compositions II: Kleisli strength Mathematical Structures in Computer Science	2008-08-15	Paper
Monad compositions. I: General constructions and recursive distributive laws	2007-04-13	Paper
Monad compositions. I: General constructions and recursive distributive laws	2007-04-13	Paper
Lifting results for categories of algebras Theoretical Computer Science	2002-07-15	Paper
Partial map classifiers and partial cartesian closed categories Theoretical Computer Science	1997-02-27	Paper
scientific article; zbMATH DE number 431768 (Why is no real title available?)	1994-10-11	Paper
Monads and algebras in the semantics of partial data types Theoretical Computer Science	1992-09-27	Paper
Categorical fixed point semantics Theoretical Computer Science	1992-06-25	Paper
scientific article; zbMATH DE number 4128803 (Why is no real title available?)	1989-01-01	Paper
A categorial approach to the theory of computation Annals of Pure and Applied Logic	1989-01-01	Paper
scientific article; zbMATH DE number 4061467 (Why is no real title available?)	1988-01-01	Paper
Adjointness in recursion Annals of Pure and Applied Logic	1986-01-01	Paper
Generalized Banach-Mazur functionals in the topos of recursive sets Journal of Pure and Applied Algebra	1982-01-01	Paper

Research outcomes over time

This page was built for person: Philip S. Mulry