A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells. A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. In John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün, editors, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Volume 5160 of Lecture Notes in Computer Science, pages 171-185, Springer, 2008. [doi]

This author has not been identified. Look up 'Fairouz Kamareddine' in GoogleThis author has not been identified. Look up 'Karim Nour' in GoogleThis author has not been identified. Look up 'Vincent Rahli' in GoogleThis author has not been identified. Look up 'J. B. Wells' in Google

runs on WebDSL