title: Books for beginning type system theory
body: <p>I want to study type system theory. I don't have any background in type system theory so I'm more or less a beginner (except the articles I've read on the subject and which I find intimidating because of the notation used). What are some good books that could get me started? I was looking at Benjamin C. Pierce's "Types and Programming Languages" book. Is that appropriate for a beginner or is it too difficult? If it's too difficult what else could I use to start my study?</p>
  
  <p>Thanks,</p>
  
  <p>--</p>
  
  <p>Cheers,
  Alex</p>