A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.

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

Browse the full ICTAC paper archive.