FIX-POINT SEMANTICS FOR PROGRAMS IN DISTRIBUTIVE CATEGORIES
Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters · Fundamenta Informaticae · 1995
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 s