Categories of Containers (2003)

by Michael Abbott, Thorsten Altenkirch, Neil Ghani
Venue:In Foundations of Software Science and Computation Structures