scientific article; zbMATH DE number 1418364
From MaRDI portal
Publication:4941927
zbMath0942.18002MaRDI QIDQ4941927
Andrea Corradini, Fabio Gadducci
Publication date: 21 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Relational systems, laws of composition (08A02) Categories of algebras (08C05) Partial algebras (08A55)
Related Items
GETGRATS, Normal forms for algebras of connections., A functorial semantics for multi-algebras and partial algebras, with applications to syntax., Dynamic connectors for concurrency