Reference : Realisability Semantics for Intersection Types and Expansion Variables
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22681
Realisability Semantics for Intersection Types and Expansion Variables
English
Kamareddine, Fairouz [> >]
Nour, Karim [> >]
Rahli, Vincent mailto [Heriot-Watt University > School of Mathematical and Computer Sciences]
Wells, J. B. [> >]
2008
Yes
Workshop on Intersection Types and Related Systems (ITRS 2008)
March 2008
http://hdl.handle.net/10993/22681
Presented to ITRS'08, 4th Workshop on Intersection Types and Related Systems, Turin, Italy, 25 March 2008

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
semone.pdfAuthor preprint172.45 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.