An imperative language based on distributive categories
From MaRDI portal
Publication:4279256
DOI10.1017/S0960129500001468zbMath0788.18008OpenAlexW2042198724MaRDI QIDQ4279256
Publication date: 16 February 1994
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500001468
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical structures (18D99)
Related Items (6)
On the relations between distributive computability and the BSS model ⋮ On the generic solution to \(P(X)\cong X\) in distributive categories ⋮ An imperative language based on distributive categories II ⋮ On the role of memory in object-based and object-oriented languages ⋮ Weakly distributive categories ⋮ Bicategories of processes
This page was built for publication: An imperative language based on distributive categories
