An imperative language based on distributive categories
Robert F. C. Walters · Mathematical Structures in Computer Science · 1992
It is the contention of the author that there is a preferred categorical structure appropriate for the analysis of imperative programming languages, namely the existence of finite sums and products and a distributive law of products over sums. An imperative language based on these operations is described.