Theory of Programming Languages

A Formal Semantics of Programming Languages: An Introduction by Glynn Winskel

Foundations for Programming Languages by John C Mitchell

Types and Programming Languages by Benjamin C Pierce

Essentials of Programming Languages by Daniel P Friedman and Christopher T Haynes

Programming Languages: Concepts and Constructs by Ravi Sethi

The Lambda Calculus: Its Syntax and Semantics by H P Barendregt

Implementation and Application of Functional Languages by Horvath Butterfield

Fundamentals of Programming Languages by Horowitz Ellis

The Interpretation of Object-Oriented Programming Languages 2nd ed. 2002 Edition by Iain Craig