Data types in distributive categories
Robert F. C. Walters · Bulletin of the Australian Mathematical Society · 1989
The purpose of this note is to describe some of the standard data types of computer science in the language of distributive categories. We believe that in this way we have achieved a simplification and a formal clarification of the specification of these data types.