A calculus for collections and aggregates (1997)

by K Lellahi, V Tannen
Venue:In Proc. Category Theory in Computer Science