[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