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

DOI10.1016/S0304-3975(01)00319-XzbMath1061.18008MaRDI QIDQ1853456

Andrea Corradini, Fabio Gadducci

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Related Items

The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Unitary Theories, Unitary Categories ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ A Term-Graph Syntax for Algebras over Multisets ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ Petri nets are dioids: a new algebraic foundation for non-deterministic net theory ⋮ A Note on an Old-Fashioned Algebra for (Disconnected) Graphs ⋮ GETGRATS ⋮ Categorical rewriting of term-like structures ⋮ Introduction to Turing categories ⋮ Classifying categories for partial equational logic

Cites Work

• Correctness of recursive parallel nondeterministic flow programs
• Deterministic and nondeterministic flowchart interpretations
• Categories of partial maps
• Partiality, cartesian closedness, and toposes
• Reasoning with first order nondeterministic specifications
• An algebraic presentation of term graphs, via gs-monoidal categories
• Varieties of partial algebras
• Near-equational and equational systems of logic for partial functions. I
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• Coalgebras and cartesian categories
• Initial Algebra Semantics and Continuous Algebras
• Premonoidal categories and notions of computation
• A mathematical approach to nondeterminism in data types
• Categorical concepts for parameterized partial specifications
• Relating two categorical models of term rewriting
• Automata in general algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item