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 | |
Publication status | Published - 2008 |
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution