Lifting results for categories of algebras

Theoretical Computer Science

Volumn 278, Issue 1-2, 2002, Pages 257-269

  Mulry, P S ^a  

^a Assistant Professor in the University Libraries   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS; SET THEORY; THEOREM PROVING;

SCOTT DOMAINS;

COMPUTER SCIENCE;

EID: 0037029926     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00338-8     Document Type: Conference Paper

References (12)

1. Semantics of weakening and contraction
2. Adjoint lifting theorems for categories of algebras
3. Strong functors and monoidal monads
4. Notions of computations and monads
5. Generalized Banach-Mazur functionals in the topos of recursive sets
6. Monads and algebras in the semantics of partial data types
7. Lifting theorems for kleisli categories
8. Partial map classifiers and partial cartesian closed categories