When do datatypes commute (1997)

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