Foundations Of Object Oriented Programming Languages

Foundations of Object-Oriented Programming Languages by Kim B. Bruce (ISBN 0-262-02523-X ).

Good book on TypeTheory as applied to OO-languages. A bit simpler to digest than TypesAndProgrammingLanguages, though not as comprehensive of a treatment on the subject.

CategoryBook TypeTheory