||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|
|A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables|
|Kamareddine, Fairouz [> >]|
|Nour, Karim [> >]|
|Rahli, Vincent [Heriot-Watt University > School of Mathematical and Computer Sciences]|
|Wells, J. B. [> >]|
|File(s) associated to this reference|
All documents in ORBilu are protected by a user license.