Abstract
In an earlier paper Walters introduced a family of imperative programming languages based on concepts from distributive categories. The development in that, and in a subsequent paper by Walters and Khalil, was carried out within the category Set of sets and total functions. In this paper we investigate the generalization of the results of those earlier papers to more general distributive categories using fix-point constructions to replace the specific calculations used earlier.
Get full access to this article
View all access options for this article.