Monads in semantics

Electronic Notes in Theoretical Computer Science

Volumn 14, Issue , 1998, Pages 275-286

  Mulry, Philip S ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

FUNCTORIAL RELATIONSHIPS; MONAD LIFTING; MONADIC TOOLS; SET FUNCTIONS;

SEMANTICS;

EID: 18944382552     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80241-5     Document Type: Conference Paper

References (25)

1. Brookes S., Geva S. Computational comonads and intensional semantics. Applications of Category Theory, LMS LNS. 177:1992;1-44 Cambridge University Press
2. Barr M., Wells C. "Category Theory for Computing Science," Prentice Hall International. 1990
3. Freyd P. Algebraically complete categories. preprint. 1991
4. Freyd P., Mulry P., Rosolini G., Scott D. Extensional PERs. Information and Computation. 98:1992;211-227
5. Hyland H.M.E. The effective topos. Brouwer L.E.J. Centenary Symposium. 1982;North Holland
6. Jacobs B. Semantics of weakening and contraction. Annals of Pure and Applied Logic. 69:1994;73-106
7. Johnstone P.T. Adjoint lifting theorems for categories of algebras. Bull. London Math. Soc. 7:1975;294-297
8. Kock A. Strong functors and monoidal monads. Arch. Math. 23:1972;113-120
9. Liang S., and Hudak P., and Jones M., Monad transformers and modular-interpreters, Proceedings of POPL'95, (1995), pp. 333-343.
10. Manes E. G., A Triple Miscellany: Some Aspects of the Theory of Algebras Over a Triple, PhD Thesis, Wesleyan University, 1967.
11. Moggi E., The Partial Lambda-Calculus, PhD Thesis, University of Edinburgh, 1988.
12. Moggi E. An Abstract View of programming languages. Technical Report ECS-LFCS-90-113. 1990; LFCS, University of Edinburgh
13. Moggi E. Notions of computations and monads. Information and Computation. 93:1991;55-92
14. Mulry P.S. Generalized Banach-Mazur functionals in the topos of recursive sets. Journal of Pure and Applied Algebra. 26:1982;71-83
15. Mulry P.S. Strong monads, algebras and fixed points. Applications of Category Theory, LMS LNS. 177:1992;202-216 Cambridge University Press
16. Mulry P.S. Lifting theorems for Kleisli categories. Lecture Notes in Computer Science. 802:1994;304-319
17. Mulry P.S. Partial map classifiers and partial cartesian closed categories. Theoretical Computer Science. 136:1994;109-123
18. Mulry P. S., Lifting results for categories of algebras, Theoretical Computer Science, to appear.
19. Mulry P. S., Algebras and monads in semantics, preprint.
20. Plotkin G. Denotational semantics with partial functions. Lecture Notes for CSLI. 1985
21. Rosolini G., Continuity and effectiveness in topoi, Ph.D. thesis, Oxford, 1986.
22. Seely R. Linear logic and coalgebras. Categories in Computer Science and Logic. 92:1989;371-382. AMS
23. Simpson, A. Recursive types in Kleisli categories, preprint.
24. Tannen V. A calculus for collections and aggregates. Lecture Notes in Computer Science. 1290:1997
25. Wadler P. Comprehending monads. Mathematical Structures in Computer Science. 2:1992;461-493 Cambridge University Press