impact:

Strong Normalization and Typability with Intersection Types

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

#Language

PR-model F-model AR-model

*All Wikipedias

1,132,112^th place

857,839^th place

1,277,046^th place

enEnglish

916,277^th place

380,304^th place

1,013,466^th place