Premonoidal categories and notions of computation

Mathematical Structures in Computer Science

Volumn 7, Issue 5, 1997, Pages 453-468

  Power, John ^a   Robinson‡, Edmund ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84887466617     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129597002375     Document Type: Article

References (15)

1. Anderson, S. O. and Power, A. J. (1996) A representable approach to finite nondeterminism. In: Proc. MFPS ’94. Theoretical Computer Science (to appear).
2. Carboni, A., Lack, S. and Walters, R. F. C. (1993) Introduction to extensive and distributive cate-gories. J. Pure Appl. Algebra 84 145–158.
3. Fiore, M. (1996) Axiomatic domain theory in categories of partial maps. Cambridge University Press Distinguished Dissertations in Computer Science.
4. Fiore, M. and Plotkin, G. D. (1994) An axiomatization of computationally adequate domain theoretic models of FPC. In: Proc. 9th LICS conference 92–102.
5. Hermida, C. and Jacobs, B. (1995) Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi. Math. Struct. in Comp. Science 5 501–531.
6. Hermida, C. and Power, A.J. (1995) Fibrational control structures. In: Proc. CONCUR ’95: Concurrency theory. Springer-Verlag Lecture Notes in Computer Science 962 117–129.
7. Im, G. B. and Kelly, G. M. (1986) A universal property of the convolution monoidal structure. J. Pure Appl. Algebra 43 75–88.
8. Kelly, G. M. (1964) On Mac Lane’s conditions for coherence of natural associativities, commutativ-ities, etc. J. Algebra 1 397–402.
9. Kelly, G. M. (1982) Basic concepts of enriched category theory. London Math. Soc. Lecture Notes Series 64, Cambridge University Press.
10. Moggi, E. (1991) Notions of computation and monads. Information and Computation 93 55–92.
11. Mifsud, A., Milner, R. and Power, A.J. (1995) Control structures. In: Proc. 10th LICS conference 188–198.
12. Power, A. J. (1989) A general coherence result. J. Pure Appl. Algebra 57 165–173.
13. Power, A. J. (1996a) Elementary control structures. In: Proc. CONCUR ’96: Concurrency theory. Springer-Verlag Lecture Notes in Computer Science 115–130.
14. Power, A. J. (1996b) Premonoidal categories as catogories with algebraic structure (submitted).
15. Power, A. J. and Robinson, E. P. (1995) On the categorical semantics of types (draft).