I'm interested in learning about lambda calculus but I have no background in comp sci or math. The only relevant thing I can think of are my first order logic classes. What reading or starting point would you recommend?
[link] [comments]
I'm interested in learning about lambda calculus but I have no background in comp sci or math. The only relevant thing I can think of are my first order logic classes. What reading or starting point would you recommend?