Functorial semantics for multi-algebras

DOI10.1007/3-540-48483-3_6MaRDI QIDQ4941927zbMATH OpenFDO

Authors Andrea Corradini, Fabio Gadducci

Publication date 21 August 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48483-3_6

zbMATH Keywords

algebraic theorymulti-algebrasnondeterminismpartial algebrassignature

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Partial algebras (08A55) Categories of algebras (08C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• Functorial semantic of theories for classes of partial algebras
• Algebra and Coalgebra in Computer Science
• scientific article; zbMATH DE number 234027
• scientific article; zbMATH DE number 139984

Cited in

(8)

• On the notion of bimodel for functorial semantics
• Dynamic connectors for concurrency
• Normal forms for algebras of connections.
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• Inequational deduction as term graph rewriting
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Algebra and Coalgebra in Computer Science
• Some algebraic problems in the context of functorial semantics of algebraic theories

This page was built for publication: Functorial semantics for multi-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4941927)