On Realisability Semantics for Intersection Types with Expansion Variables

Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{30de146b70fe42209d206129177dfeb3,

title = "On Realisability Semantics for Intersection Types with Expansion Variables",

author = "Fairouz Kamareddine and Karim Nour and Vincent Rahli and Wells, {J. B.}",

year = "2012",

doi = "10.3233/FI-2012-774",

language = "English",

volume = "121",

pages = "153--184",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "Polskie Towarzystwo Matematyczne",

number = "1-4",

}