The resident type theorist at a college I was considering attended recommended Luca Cardelli to me when I asked about good introductory texts: http://www.eecs.umich.edu/~bchandra/courses/papers/Cardelli_...