An Imperative Language Based on Distributive Categories

Robert F. C. Walters. An Imperative Language Based on Distributive Categories. Mathematical Structures in Computer Science, 2(3):249-256, 1992.

Abstract

Abstract is missing.