R.: When do datatypes commute (1997)

by P Hoogendijk, Backhouse
Venue:In: Category Theory and Computer Science, 7th International Conference, volume 1290 of LNCS