Intersection Type Systems and Explicit Substitutions Calculi.

Daniel Lima Ventura, Mauricio Ayala-Rincn, Fairouz Kamareddine

Browse the full WoLLIC paper archive.