show/hide this revision's text 3 edited tags
show/hide this revision's text 2 edited tags
show/hide this revision's text 1

What is some good introduction to lambda calculus?

I have some background in set theory and automata and I am looking for a good place to start with lambda calculus.