Modularity and dyads

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 467-480

  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

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; THEOREM PROVING;

COMPUTATIONAL EFFECTS; DYADS; MODULARITY;

SEMANTICS;

EID: 18944370984     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80089-6     Document Type: Conference Paper

References (10)

1. Barr, M. and C. Wells, "Toposes, Triples, and Theories," Grundlehren der math. Wissenschaften 278, Springer-Verlag (1985).
2. Brookes S. and S. Geva, Computational comonads and intensional semantics, Proc. Categories in Computer Science, Durham '91 (1993).
3. Cenciarelli P. and E. Moggi, A syntactic approach to modularity in denotational semantics, CWI Tech. Report., 1993.
4. Fokkinga, Maareten M, Dyads, a generalisation of monads, University of Twente Tech. Report 94-30 (1990).
5. Moggi E. Notions of computation and monads. Inform. and Comput. 93:1991;55-92
6. Moggi E. Metalanguages and Applications. 1996;Newton Institute Publications, Cambridge University Press
7. Power, a. J., Modulariy in denotational semantics, Electronic Notes in Theoretical Computer Science 6 (1997), URL: http://www.elsevier.nl/locate/entcs/ volume6.html.
8. Power, A. J., Premonoidal categories as categories with algebraic structure, (submitted).
9. Power A.J., Robinson E.P. Premonoidal categories and notions of computation. Proc. LDPL 96, Math. Structures in Computer Science. 7:1997;453-468
10. Power, A. J. and G. Rosolini, A modular approach to denotational semantics, In: Proc. ICALP 98, Lecture Notes in Computer Science 1443 (1998), pp. 351-362.