An imperative language based on distributive categories

DOI10.1017/S0960129500001468MaRDI QIDQ4279256zbMATH OpenOpenAlexFDO

Authors R. F. C. Walters

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

zbMATH Keywords

distributive categoriesimperative programming languagessemantics

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical structures (18D99) Semantics in the theory of computing (68Q55)

Recommendations

• An imperative language based on distributive categories II
• scientific article; zbMATH DE number 742726
• scientific article; zbMATH DE number 3999259
• scientific article; zbMATH DE number 4050953

Cited in

(8)

• On the relations between distributive computability and the BSS model
• On the generic solution to \(P(X)\cong X\) in distributive categories
• Universal properties of impure programming languages
• An imperative language based on distributive categories II
• scientific article; zbMATH DE number 3999259 (Why is no real title available?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4279256)