Here's a short-list: - Calculating space by Konrad Zuse (See: https://news.ycombinator.com/item?id=18325689 https://news.ycombinator.com/item?id=18325689) - T

Here's a short-list: - Calculating space by Konrad Zuse (See: https://news.ycombinator.com/item?id=18325689 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