Learning Type Theory and Lambda Calculus
Resources
- Barendregt & Barendsen, 1984 - Introduction to Lambda Calculus
- Girard, Lafont & Taylor, 1987 - Proofs and Types
- Sørenson & Urzyczyn, 1999 - Lectures on The Curry-Howard Isomorphism
- StackExchange Post
- Lambda the Ultimate - The Programming Languages Weblog
- Chris Barker - Intro to Lambda Reduction
- Peter Selinger - Lecture Notes on The Lambda Calculus