[TYPES] Semantics of Intersection Type
Steffen van Bakel
svb at doc.ic.ac.uk
Mon Nov 28 13:45:53 EST 2005
The paper to start with is:
@Article {Barendregt-Coppo-Dezani'83,
Author = "H. Barendregt and M. Coppo and {Dezani-Ciancaglini}, M.",
Title = "A filter lambda model and the completeness of type assignment",
Journal = "journal of Symbolic Logic",
Volume = "48",
Number = "4",
Pages = "931-940",
Year = "1983"
}
and you'll find a nice overview in:
@Article{Bakel-TCS'95,
Author = "S. van Bakel",
Title = "{I}ntersection {T}ype {A}ssignment {S}ystems",
Journal = "Theoretical Computer Science",
Volume = "151",
Number = "2",
Year = "1995",
Pages = "385-435"
}
Steffen van Bakel
--------
Department of Computing,
Imperial College London,
180 Queen's Gate,
London SW7 2BZ,
tel: + 44 20 7594 8263
fax: + 44 20 7581 8024
email: svb @ doc.ic.ac.uk
http://www.doc.ic.ac.uk/~svb
----- message from Hongseok Yang <hyang at ropas.kaist.ac.kr> -----
Date: Mon, 28 Nov 2005 17:52:02 +0900 (KST)
From: Hongseok Yang <hyang at ropas.kaist.ac.kr>
Reply-To: Hongseok Yang <hyang at ropas.kaist.ac.kr>
Subject: [TYPES] Semantics of Intersection Type
To: types at cis.upenn.edu
[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
Hi,
Would anyone point out the literature on the semantics of
intersection types?
Thanks in advance for the answers.
Sincerely,
Hongseok
----- End message -----
More information about the Types-list
mailing list