A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
type: Item
instance of: scholarly article
title: A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
zbMATH Open document ID: 1061.18008
DOI: 10.1016/S0304-3975(01)00319-X
author: Andrea Corradini
author: Fabio Gadducci
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1857005
MaRDI profile type: Publication
cites work: Q3206309
cites work: Varieties of partial algebras
cites work: Q3138859
cites work: Q4373705
cites work: Categorical concepts for parameterized partial specifications
cites work: An algebraic presentation of term graphs, via gs-monoidal categories
cites work: Q4941927
cites work: Relating two categorical models of term rewriting
cites work: Near-equational and equational systems of logic for partial functions. I
cites work: Partiality, cartesian closedness, and toposes
cites work: Automata in general algebras
cites work: Coalgebras and cartesian categories
cites work: Correctness of recursive parallel nondeterministic flow programs
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: A mathematical approach to nondeterminism in data types
cites work: Q3931190
cites work: Q4172900
cites work: Nondeterministic algebraic specifications and nonconfluent term rewriting
cites work: Q4100671
cites work: Reasoning with first order nondeterministic specifications
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Deterministic and nondeterministic flowchart interpretations
cites work: Q5639839
cites work: Q4726252
cites work: Q3759011
cites work: Premonoidal categories and notions of computation
cites work: Categories of partial maps
cites work: Q3777431
cites work: Q3839063
description: scientific article; zbMATH DE number 1857005