A functorial semantics for multi-algebras and partial algebras, with applications to syntax

Theoretical Computer Science

Volumn 286, Issue 2, 2002, Pages 293-322

  Corradini, Andrea ^a   Gadducci, Fabio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SCIENCE; CONCURRENCY CONTROL; FUNCTIONS; MATHEMATICAL OPERATORS; SET THEORY; SYNTACTICS;

NONDETERMINISM; PARTIAL ALGEBRAS;

SEMANTICS;

EID: 0037125842     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00319-X     Document Type: Conference Paper

References (42)

1. Sharing in nondeterminism
2. Varieties of partial algebras
3. Categories, allegories and circuit design
4. Partial algebras - An introductory survey
5. On the equivalence of ECE- and generalized Kleene-equations for many-sorted partial algebras
6. Categorical concepts for parameterized partial specifications
7. An algebraic presentation of term graphs, via gs-monoidal categories
8. Functorial semantics for multi-algebras
9. Relating two categorical models of term rewriting
10. Near-equational and equational systems of logic for partial functions, I and II
11. Partiality, cartesian closedness, and toposes
12. A graphical calculus
13. Automata in general algebras
14. Coalgebras and cartesian categories
15. Correctness of recursive parallel nondeterministic flow programs
16. Initial algebra semantics and continuous algebras
17. A view on implementing processes: Categories of circuits
18. A mathematical approach to nondeterminism in data types
19. On partial algebras
20. On partial recursive definitions and programs
21. Nondeterministic algebraic specifications and nonconfluent term rewriting
22. Algebraic graph derivations for graphical calculi
23. Review of the elements of 2-categories
24. Doctrines in categorical logic
25. Reasoning with first order nondeterministic specifications
26. Equational reasoning with 2-dimensional diagrams
27. Functorial semantics of algebraic theories
28. Deterministic and nondeterministic flowchart interpretations
29. Algebra categorically
30. Premonoidal categories and notions of computation
31. Categories of partial maps
32. Why algebraic theories?
33. Categories of relational structures
34. Multialgebras, power algebras, and complete calculi of identities and inclusions
35. Algebraic approaches to nondeterminism: An overview
36. A complete calculus for the multialgebraic and functional semantics of nondeterminism