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 ![]() | |
Wells, J. B. [> >] | |
2012 | |
Fundamenta Informaticae | |
121 | |
Yes | |
http://hdl.handle.net/10993/22677 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.