Here's a short-list:

- Calculating space by Konrad Zuse (See: https://news.ycombinator.com/item?id=18325689)

- The Annotated Turing by Charles Petzlod

- Introduction to Lambda Calculus by H. Barendregt (do the exercises/proofs)

- Propositions as Types by Philip Wadler

- Part III. of Languages and Machines by Thomas Sudkamp