eightbitraptor[wiki]

Types and Programming Languages

• [TAPL Chapter 1 Introduction]
• [TAPL Chatper 2 Mathematical Preliminaries]
• [TAPL Chapter 5 The Untyped Lambda Calculus]