Perhaps you should try some spelling variations:
nondestructive determination » constructive determination, nondestructive examination, nondestructive detection
style ramified » style unified
ramified types » reified types, qualified types, ramified towers
types theory » typed theory, types theorem, cycles theory
a russell » _ russell

You may be able to get more results by adjusting your search query.

• The words AND, OR and NOT may confuse the search; try adding quotes: "(( nondestructive determination of a russell-style ramified type theory ) OR ( nondestructive determination of a russell-style ramified types theory ))".
• Adding a wildcard symbol may retrieve word variants: (( nondestructive determination of a russell-style ramified type theory ) OR ( nondestructive determination of a russell-style ramified types theory ))*.