Book

Lambda-Calculus, Types and Models

by J. L. Krivine