Categories of containers (2003)

by Michael Abbott, Thorsten Altenkirch, Neil Ghani
Venue:FoSSaCS, volume 2620 of LNCS