4 ms·
Tangential book recommendation: I have found the first chapters of "Type Theory and Formal Proof" a great in-depth introduction into lambda calculus and its typ
by runeblaze 10y ago
Tangential book recommendation: I have found the first chapters of "Type Theory and Formal Proof" a great in-depth introduction into lambda calculus and its typed variations.
- danharaj 10y agoI also recommend Types and Programming Languages by Benjamin Pierce. It is a delightful textbook well suited to self study.
- frostirosti 10y agoThis is a jump straight into the deep end. I can't recommend starting here. "How to prove it" https://www.amazon.com/How-Prove-Structured-Approach-2nd/dp/0521675995 https://www.amazon.com/How-Prove-Structured-Approach-2nd/dp/... would be a much more appropriate start
- SAI_Peregrinus 10y agoNaw, straight into the deep end is to start with reading the Homotopy Type Theory book... https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/