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 proceedingConference contribution

Original languageEnglish
Title of host publicationTheoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Number of pages15
Publication statusPublished - 2008

Cite this