Reference : A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Var...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22674
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
English
Kamareddine, Fairouz [> >]
Nour, Karim [> >]
Rahli, Vincent mailto [Heriot-Watt University > School of Mathematical and Computer Sciences]
Wells, J. B. [> >]
2008
ICTAC 2008
Yes
ICTAC 2008
September 2008
http://hdl.handle.net/10993/22674
171--185

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
compsem-short-090608.pdfAuthor preprint201.06 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.