Logical and computational aspects of programming with lists/bags/sets (1991)

by V Breazu-Tannen, R Subrahmanyam
Venue:In Proceedings of ICALP