A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
From MaRDI portal
Publication:1853456
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)
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
