I have some background in set theory and automata and I am looking for a good place to start with lambda calculus.
What is some good introduction to lambda calculus?
user16132
- 131
- 1
- 1
- 4