Title: Conditional and Typed Rewriting Systems: 2nd International Centres Workshop, Montreal, Canada, Jun 11-14, 1990