Generalizing substitution

RAIRO - Theoretical Informatics and Applications

Volumn 37, Issue 4, 2003, Pages 315-336

  Uustalu, Tarmo ^a  

^a TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

Author keywords

Algebras of terms; Finitely or possibly infinitely branching trees; Hyperfunctions; Iteration of guarded substitution rules; Monads; Non wellfounded terms; Substitution

Indexed keywords

ALGEBRA; ECONOMICS; POLYNOMIALS; THEOREM PROVING;

ENDOBIFUNCTOR; HYPERFUNCTIONS;

COMPUTER SCIENCE;

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

References (22)

1. P. Aczel, Algebras and coalgebras, in Revised Lectures from Int. Summer School and Wksh. on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, ACMMPC 2000 (Oxford, April 2000), edited by R. Backhouse, R. Crole and J. Gibbons. Springer-Verlag, Lecture Notes in Comput. Sci. 2297 (2002) 79-88.
2. 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.
3. J. Adámek, S. Milius and J. Velebil, Free iterative theories: a coalgebraic view. Math. Struct. Comput. Sci. 13 (2003) 259-320.
4. J. Adámek, S. Milius and J. Velebil, On rational monads and free iterative theories, in Proc. of 9th Int. Conf. on Category Theory and Computer Science, CTCS'02 (Ottawa, Aug. 2002), edited by R. Blute and P. Selinger. Elsevier, Electron. Notes Theor. Comput. Sci. 69 (2003).
5. M. Barr, Coequalizers and free triples. Math. Z. 116 (1970) 307-322.
6. F. Bartels, Generalized coinduction. Math. Struct. Comput. Sci. 13 (2003) 321-348.
7. D. Cancila, F. Honsell and M. Lenisa, Generalized coiteration schemata, in Proc. of 6th Wksh. on Coalgebraic Methods in Computer Science, CMCS'03 (Warsaw, Apr. 2003), edited by H.P. Gumm. Elsevier, Electron. Notes Theor. Comput. Sci. 82 (2003).
8. C.C. Elgot, Monadic computation and iterative algebraic theories, in Proc. of Logic Colloquium '73 (Bristol, July 1973), edited by H.E. Rose and J.C. Shepherdson. North-Holland, Stud. Logic Found Math. 80 (1975) 175-230.
9. C.C. Elgot, S.L. Bloom and R. Tindell, On the algebraic structure of rooted trees. J. Comput. Syst. Sci. 16 (1978) 362-399.
10. N. Ghani, C. Lüth, F. de Marchi and J. Power, Dualising initial algebras. Math. Struct. Comput. Sci. 13 (2003) 349-370.
11. 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. 2001), edited by L.S. Moss. Elsevier, Electron. Notes Theor. Comput. Sci. 65 (2002).
12. S. Krstić, J. Launchbury and D. Pavlović, Categories of processes enriched in final coalgebras, in Proc. of 4th Int. Conf. on Foundations of Software Science and Computation Structures, FoSSaCS'01 (Genova, Apr. 8001), edited by F. Honsell and M. Miculan. Springer-Verlag, Lecture Notes in Comput. Sci. 2030 (2001) 303-317.
13. M. Lenisa, From set-theoretic coinduction to coalgebraic coinduction: some results, some problems, in Proc. of 2nd Wksh. on Coalgebraic Methods in Computer Science, CMCS'99 (Amsterdam, March 1999), edited by B. Jacobs and J. Rutten. Elsevier, Electron. Notes Theor. Comput. Sci. 19 (1999).
14. E.G. Manes, Algebraic theories, Graduate Texts in Mathematics 26. Springer-Verlag, New York (1976).
15. 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, Electron. Notes Theor. Comput. Sci. 82 (2003).
16. S. Milius, On iteratable endofunctors, in Proc. of 9th Int. Conf. on Category Theory and Computer Science, CTCS'02 (Ottawa, Aug. 2002), edited by R. Blute and P. Selinger. Elsevier, Electron. Notes Theor. Comput. Science 69 (2003).
17. L.S. Moss, Parametric corecursion. Theor. Comput. Sci. 260 (2001) 139-163.
18. R. Paterson, Notes on monads for functional programming, unpublished draft (1995).
19. T. Uustalu, (Co)monads from inductive and coinductive types, in Proc. of 2001 APPIA-GULP-PRODE Joint Conf. on Declarative Programming, AGP'01 (Évora, Sept. 2001), edited by L.M. Pereira and P. Quaresma. Dep. de Informática, Univ. do Évora (2001) 47-61.
20. T. Uustalu and V. Vene, Primitive (co)recursion and course-of-value (co)iteration, categorically. Informatica 10 (1999) 5-26.
21. T. Uustalu and V. Vene, The dual of substitution is redecoration, in Trends in Functional Programming 3, edited by K. Hammond and S. Curtis. Intellect, Bristol & Portland, OR (2002) 99-110.
22. T. Uustalu, V. Vene and A. Pardo, Recursion schemes from comonads. Nordic J. Comput. 8 (2001) 366-390.