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

by V Breazu-Tannen, R Subrahmanyam Logical
Venue:In Proceedings of ICALP, 1991.To appear