[TYPES] Semantics of Intersection Type

Hongseok Yang hyang at ropas.kaist.ac.kr
Mon Nov 28 03:52:02 EST 2005


Hi,

Would anyone point out the literature on the semantics of 
intersection types? 

Thanks in advance for the answers.

Sincerely,
Hongseok



More information about the Types-list mailing list