Reference : On Realisability Semantics for Intersection Types with Expansion Variables.
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22677
On Realisability Semantics for Intersection Types with Expansion Variables.
English
Kamareddine, Fairouz [> >]
Nour, Karim [> >]
Rahli, Vincent mailto [Heriot-Watt University > School of Mathematical and Computer Sciences]
Wells, J. B. [> >]
2012
Fundamenta Informaticae
121
Yes
http://hdl.handle.net/10993/22677

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FI_fund-inf-short.pdfAuthor preprint275.3 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.