Person:581395

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
https://portal.mardi4nfdi.de/entity/Q4994687	2021-06-21	Paper
Monad compositions II: Kleisli strength	2008-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q3432078	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Philip S. Mulry