1 Table of Contents: “...Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools...”

2 Table of Contents: “...Preface; 1. The lambda-calculus; 2. Combinatory logic; 3. The power of lambda and combinations; 4...”

3 Table of Contents: “...Category theory for linear logicians / R. Blute and Ph. Scott -- Proof nets and the [lambda...”

4 “..., the simply typed lambda calculus, and type-theoretic foundations. Clear and engaging, with plentiful examples...”

5 “... lambda calculus and proceed to several fundamental type systems, including the well-known and powerful...”

6 Table of Contents: “... of models of the untyped lambda calculus / Karl H. Hofmann and Michael W. Mislove -- Special involutions...”

7 Table of Contents: “..., Edmund P. Robinson, Giuseppe Rosolini -- Simply typed and untyped lambda calculus revisited / Bart Jacobs...”