Categories of containers (2003)

by M Abbott, T Altenkirch, N Ghani
Venue:In Foundations of Software Science and Computation Structures