A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Pages	171-185
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-540-85762-412
Publication status	Published - 2008

Access to Document

@inproceedings{642d1c0fa0224d2a87e8a808ab608843,

title = "A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables",

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

year = "2008",

doi = "10.1007/978-3-540-85762-412",

language = "English",

pages = "171--185",

booktitle = "Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings",

}

A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. / Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent et al.
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. 2008. p. 171-185.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables

AU - Kamareddine, Fairouz

AU - Nour, Karim

AU - Rahli, Vincent

AU - Wells, J. B.

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-85762-412

DO - 10.1007/978-3-540-85762-412

M3 - Conference contribution

SP - 171

EP - 185

BT - Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

ER -