[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