Linearising Explicit Substitutions using Intersection Types | Digital Library | PAMCET | PAMCET