Strong Normalization and Typability with Intersection Types
According to PR-model, Strong Normalization and Typability with Intersection Types is ranked 1,132,112th in multilingual Wikipedia, in particular this website is ranked 916,277th in English Wikipedia.