Lambda the Ultimate

inactiveTopic Types vs. Sets
started 11/11/2001; 2:15:33 PM - last post 11/11/2001; 2:15:33 PM
Ehud Lamm - Types vs. Sets  blueArrow
11/11/2001; 2:15:33 PM (reads: 1480, responses: 0)
Types vs. Sets
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