Coproducts of ideal monads

RAIRO - Theoretical Informatics and Applications

Volumn 38, Issue 4, 2004, Pages 321-342

  Ghani, Neil ^a   Uustalu, Tarmo ^b  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FUNCTIONS; TENSORS;

COPRODUCTS; MONADS; TENSOR PRODUCTS;

COMPUTATIONAL COMPLEXITY;

EID: 8344279624     PISSN: 09883754     EISSN: 28047346     Source Type: Journal    
DOI: 10.1051/ita:2004016     Document Type: Conference Paper

References (28)

1. P. Aczel, J. Adámek, S. Milius and J. Velebil, Infinite trees and completely iterative theories: a coalgebraic view. Theor. Comput. Sci. 300 (2003) 1-45.
2. J. Adámek, S. Milius and J. Velebil, Free iterative theories: a coalgebraic view. Math. Struct. Comput. Sci. 13 (2003) 259-320.
3. J. Adámek and J. Rosický, Locally Presentable and Accessible Categories. London Math. Soc. Lect. Note Ser. 189 (1994).
4. M. Barr, Coequalizers and free triples. Math. Z. 116 (1970) 307-322.
5. M. Barr and C. Wells, Toposes, Triples and Theories. Grundlehren der mathematischen Wissenschaften 275 (1985).
6. J. Beck, Distributive laws, in Seminar on Triples and Categorical Homology Theory (ETH, 1966/67), edited by B. Eckmann, Springer-Verlag, Berlin. Lect. Notes Math. 80 (1969) 119-140.
7. M. Fiore, G. Plotkin and D. Turi, Abstract syntax and variable binding, in Proc. of 14th Ann. IEEE Symp. on Logic in Computer Science, LICS'99, Trento, July 1999, IEEE CS Press, Los Alamitos, CA (1999) 193-202.
8. N. Ghani, C. Lüth, F. de Marchi and J. Power, Dualising initial algebras. Math. Struct. Comput. Sci. 13 (2003) 349-370.
9. N. Ghani, C. Lüth and F. De Marchi, Coalgebraic monads, in Proc. of 5th Wksh. on Coalgebraic Methods in Computer Science, CMCS'02, Grenoble, Apr. 2002, edited by L.S. Moss, Elsevier, Amsterdam. Electr. Notes in Theor. Comput. Sci. 65 (2002).
10. N. Ghani and T. Uustalu, Explicit substitutions and higher-order syntax, in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03, Uppsala, Aug. 2003, edited by F. Honsell, M. Miculan, A. Momigliano, ACM Press, New York (2003).
11. J.A. Goguen, A categorical manifesto. Math. Struct. Comput. Sci. 1 (1991) 49-67.
12. M. Hyland, G. Plotkin and J. Power, Combining computational effects: commutativity and sum, in Proc. of IFIP 17th World Computer Congress, TC1 Stream/2nd IFIP Int. Conf. on Theoretical Computer Science, TCS 2002, Montreal, Aug. 2002, edited by A. Baeza-Yates, U. Montanari, and N. Santoro, Kluwer Academic Publishers, Dordrecht. IFIP Conf. Proc. 223 (2002) 474-484.
13. C. Jones and G.D. Plotkin, A probabilistic powerdomain of evaluations, in Proc. of 4th Ann. IEEE Symp. Logic in Computer Science, LICS'89, Pacific Grove, CA, June 1989, IEEE CS Press, Washington, DC (1989) 186-195.
14. M. Jones and L. Duponcheel, Composing monads, Techn. report RR-1004. Dept. of Comp. Sci. Yale Univ. (1993).
15. G.M. Kelly, A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves and so on. Bull. Austral. Math. Soc. 22 (1980) 1-83.
16. G.M. Kelly and J. Power, Adjunctions whose counits are equalizers, and presentations of finitary monads. J. Pure Appl. Algebra 89 (1993) 163-179.
17. F.E.J. Linton, Some aspects of equational categories, in Proc. of Conf. on Categorical Algebra, La Jolla, CA, June 1965, edited by S. Eilenberg, D. K. Harrison, S. Mac Lane, H. Röhrl, Springer-Verlag, Berlin (1966) 84-94.
18. C. Lüth, Categorical Term Rewriting: Monads and Modularity. Ph.D. Thesis, Lab. for Foundations of Comp. Sci., Univ. of Edinburgh (1998).
19. C. Lüth and N. Ghani, Monads and modularity, in Proc. of 4th Int. Wksh. on Frontiers of Combining Systems, FroCoS 2002, Santa Margherita Ligure, Apr. 2002, edited by A. Armando, Springer-Verlag, Berlin. Lect. Notes Artif. Intell. 2309 (2002) 18-32.
20. C. Lüth and N. Ghani, Monads and modular term rewriting, in Proc. of 7th Int. Conf. on Category Theory in Computer Science, CTCS'97, Santa Margherita Ligure, Sept. 2002, edited by E. Moggi and G. Rosolini, Springer-Verlag, Berlin. Lect. Notes Comput. Sci. 1290 (1997) 69-86.
21. E.G. Manes, Algebraic Theories. Springer-Verlag, Berlin, Grad. Texts in Math. 26 (1976).
22. R. Matthes and T. Uustalu, Substitution in non-wellfounded syntax with variable binding, in Proc. of 6th Wksh. on Coalgebraic Methods in Computer Science, CMCS'03, Warsaw, Apr. 2003, edited by H. P. Gumm, Elsevier, Amsterdam. Electr. Notes Theor. Comput. Sci. 82 (2003).
23. M. Mislove, Nondeterminism and probabilistic choice: obeying the laws, in Proc. 11 Int. Conf. on Concurrency Theory, CONCUR 2000, University Park, PA, Aug. 2000, edited by C. Palamidessi, Springer-Verlag, Berlin. Lect. Notes comput. Sci. 1877 (2000) 350-364.
24. E. Moggi, Computational lambda-calculus and monads, in Proc. of 4th Ann. IEEE Symp. on Logic in Computer Science, LICS'89, Pacific Grove, CA, June 1989, IEEE CS Press, Washington, DC (1989) 14-23.
25. E. Moggi, An abstract view of programming languages. Techn. report ECS-LFCS-90-113, Lab. for Foundations of Comp. Sci., Univ. of Edinburgh (1990).
26. L. Moss, Parametric corecursion. Theor. Comput. Sci. 260 (2001) 139-163.
27. R. Tix, Continuous D-cones: convexity and powerdomain constructions. Ph.D. Thesis, Techn. Univ. Darmstadt (1999).
28. D. Varacca, The powerdomain of indexed valuations, in Proc. of 17th Ann. IEEE Symp. on Logic in Computer Science, LICS'02, Copenhagen, July 2002, IEEE CS Press, Los Alamitos, CA (2002) 299-308.