Data Types in Distributive Categories (1989)

by R F C Walters
Venue:Bulletin of the Australian Mathematical Society