Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Coauthors
(3)
Peter J. Freyd
2
Dana Stewart Scott
2
Giuseppe Rosolini
2
Conferences
(2)
Mathematical Foundations of Programming Semantics
2
LICS
1
Journals
(4)
TCS
4
APAL
2
IANDC
1
ENTCS
1
Keywords
(6)
Embed
Subscribe
Academic
Authors
Philip S. Mulry
Philip S. Mulry,Colgate University,Algorithms & Theory,Mathematics
Edit
Philip S. Mulry
Colgate University
Publications:
11

Citations:
78
Fields:
Algorithms & Theory
,
Mathematics
View FAQ about top research areas and Fields of study
Collaborated with
3 coauthors
from 1986 to 2002

Cited by
64 authors
Cumulative
Annual
Sort by:
Publications
(11)
BibTeX

RIS

RefWorks
Download
Lifting results for categories of algebras
(
Citations: 2
)
Philip S. Mulry
Journal:
Theoretical Computer Science  TCS
, vol. 278, no. 12, pp. 257269, 2002
Monads in Semantics
(
Citations: 2
)
Philip S. Mulry
Journal:
Electronic Notes in Theoretical Computer Science  ENTCS
, vol. 14, pp. 275286, 1998
Partial Map Classifiers and Partial Cartesian Closed Categories
(
Citations: 7
)
Philip S. Mulry
Journal:
Theoretical Computer Science  TCS
, vol. 136, no. 1, pp. 109123, 1994
Lifting Theorems for Kleisli Categories
(
Citations: 12
)
Philip S. Mulry
Conference:
Mathematical Foundations of Programming Semantics
, pp. 304319, 1993
Monads and Algebras in the Semantics or Partial Data Types
(
Citations: 12
)
Philip S. Mulry
Journal:
Theoretical Computer Science  TCS
, vol. 99, no. 1, pp. 141155, 1992
Sort by:
Citations
(78 times by 63 publications)
A note on “Extensional PERs”
W. P. Stekelenburg
Journal:
Journal of Pure and Applied Algebra  J PURE APPL ALG
, vol. 215, no. 3, pp. 253256, 2011
Formal Relationships Between Geometrical and Classical Models for Concurrency
Eric Goubault
,
Samuel Mimram
Journal:
Computing Research Repository  CORR
, vol. abs/1004.2, 2010
Boolean and classical restriction categories
(
Citations: 2
)
Robin Cockett
,
Ernie Manes
Journal:
Mathematical Structures in Computer Science  MSCS
, vol. 19, no. 2, pp. 357416, 2009
Categories of Timed Stochastic Relations
Daniel Brown
,
Riccardo Pucella
Journal:
Electronic Notes in Theoretical Computer Science  ENTCS
, vol. 249, pp. 193217, 2009
The monad of probability measures over compact ordered spaces and its Eilenberg–Moore algebras
(
Citations: 5
)
Klaus Keimel
Journal:
Topology and Its Applications  TOPOL APPL
, vol. 156, no. 2, pp. 227239, 2008
Comments