Could someone explain the difference between types & sets? The maths
texts I have available (undergrad comp. sci. stuff) state their
equivalence explicitly, yet many writings I've looked up on the web
differentiate between them.
Interesting discussion in the Types Forum. (follow the thread)
Posted to theory by Ehud Lamm on 11/11/01; 2:17:11 PM