An imperative language based on distributive categories II

DOI10.1051/ita/1993270605031zbMath0806.18006OpenAlexW142158933MaRDI QIDQ4304553

Wafaa Khalil, Robert F. C. Walters

Publication date: 8 February 1995

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92463

zbMATH Keywords

data typesimperative programming languagesdistributive categories

Mathematics Subject Classification ID

Theory of programming languages (68N15) Categorical structures (18D99) Categories and theories (18C99)

Related Items (5)

Feedback, trace and fixed-point semantics ⋮ On the relations between distributive computability and the BSS model ⋮ Bicategories of processes ⋮ Tail recursion through universal invariants ⋮ Matrices, machines and behaviors

Cites Work

• Categories and Computer Science
• An imperative language based on distributive categories

This page was built for publication: An imperative language based on distributive categories II