Origin of the concept of types About the state of art that I'm running ahead of Type Theory I have the these questions all related about history of Types. 


Where did the idea of Type come from? (It seems that all start when Russell and Whitehead propose a way to avoid the contradiction that we know today as Russell's Paradox, am I right?)
Before considering the type concept, was there something similar? (Maybe a refinement of a set, but I don't find a reference distinct of Russell).
Who was the first person to put it on formal terms? (Was Russell with this paper of 1908 or ?
Depends on how deep you want to go.  I believe Russell was the guy who introduced the concept in a specifically set-theoretic context, but the concept itself is as old as the hills, it's really the notion of universals and particulars expressed in a modern mathematical / computational form.  I wouldn't be surprised if Liebniz did something vaguely like types, if you look at his stuff in the right way.

You might have better luck at the History of Math and Science exchange.