Functorial semantics for multi-algebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1589, Issue , 1999, Pages 79-91

  Corradini, Andrea ^a   Gadducci, Fabio ^b  

^a UNIVERSITY OF PISA   (Italy)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ABSTRACT SYNTAX; ALGEBRAIC FRAMEWORK; ALGEBRAIC THEORIES; CARTESIANS; FUNCTORIAL SEMANTICS; FUNCTORS; NON-DETERMINISM; PARTIAL ALGEBRA;

ALGEBRA;

EID: 84957712838     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48483-3_6     Document Type: Conference Paper

References (18)

1. R. Bruni, F. Gadducci, and U. Montanari. Normal forms for partitions and relations. In J. L. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, LNCS. Springer Verlag, 1999. This volume. 87
2. A. Corradini and F. Gadducci. An algebraic presentation of term graphs, via gsmonoidal categories. Applied Categorical Structures, 1998. To appear. 84, 84, 85, 86
3. A. Corradini and F. Gadducci. Rewriting on cyclic structures. Technical Report TR-98-05, Dipartimento di Informatica, Pisa, 1998. Extended abstract in Fixed Points in Computer Science, satellite workshop of MFCS'98. 84
4. F. Gadducci. On the Algebraic Approach to Concurrent Term Rewriting. PhD thesis, University of Pisa - Department of Computer Science, 1996. 84
5. F. Gadducci and R. Heckel. An inductive view of graph transformation. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS, pages 219-233. Springer Verlag, 1998. 84
6. U. Hensel and D. Spooner. A view on implementing processes: Categories of circuits. In M. Haveraaen, O. Owe, and O. Dahl, editors, Recent Trends in Data Types Specication, volume 1130 of LNCS, pages 237-255. Springer Verlag, 1995. 85
7. H.-J. Hoenke. On partial algebras. In Universal Algebra, volume 29 of Colloquia Mathematica Societatis Jàanos Bolyai, pages 373-412. 1977. 85
8. H.-J. Hoenke. On partial recursive denitions and programs. In M. Karpinski, editor, Fundamentals of Computation Theory, volume 56 of LNCS, pages 260-274. Springer Verlag, 1977. 85
9. B. Jacobs. Semantics of weakening and contraction. Annals of Pure and Applied Logic, 69:73-106, 1994. 85
10. G.M. Kelly and R.H. Street. Review of the elements of 2-categories. In G.M. Kelly, editor, Sydney Category Seminar, volume 420 of Lecture Notes in Mathematics, pages 75-103. Springer Verlag, 1974. 89
11. A. Kock and G.E. Reyes. Doctrines in categorical logic. In J. Barwise, editor, Handbook of Mathematical Logic, pages 283-313. North Holland, 1977. 81
12. Y. Lafont. Equational reasoning with 2-dimensional diagrams. In H. Comon and J-P. Jouannaud, editors, Term Rewriting, volume 909 of LNCS, pages 170-195. Springer Verlag, 1995. 85
13. F.W. Lawvere. Functorial semantics of algebraic theories. Proc. National Academy of Science, 50:869-872, 1963. 81
14. S. Mac Lane. Categories for the working mathematician. Springer Verlag, 1971. 84
15. E. Robinson and G. Rosolini. Categories of partial maps. Information and Computation, 79:95-130, 1988. 83, 85, 90
16. E.G. Wagner, S.L. Bloom, and J.W. Thatcher. Why algebraic theories? In M. Nivat and J.C. Reynolds, editors, Algebraic methods in semantics, pages 607-634. Cambridge University Press, 1985. 80
17. M. Walicki and M. Bialasik. Categories of relational structures. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS, pages 418-433. Springer Verlag, 1998. 81
18. M. Walicki and S. Meldal. Algebraic approaches to nondeterminism: An overview. ACM Computing Surveys, 29:30-81, 1997. 79, 80, 81, 88