See also the answers to Resources for learning practical category theory and What is λ-calculus related to?
Kim Morrison
- 7.8k
- 7
- 48
- 75