What are some good introductory books on type theory? I'm recently studying Haskell and programming languages.  Could someone recommend some books on type theory?
Software Foundations by Benjamin C. Pierce would be a good place to start. It would be a make a good precursor to his Types and Programming Languages. There is also Simon Thompson's Type Theory and Functional Programming and Girard's Proofs and Types.