 The Russellian theory of types is widely known and investigated in the literature (see the entries on  type theory  and  Bertrand Russell):  it is of current interest and has descendants in logic and its applications. It was first developed by Russell in the fundamental memoir Mathematical Logic as based on the theory of types of 1908.