Where can I find good resources to learn lambda calculus.
Some speculated that lambda calculus gives one another perspective in thinking, thus improving the view on problems. It's also the father of LISP wich has done many things for the world
>>61199378
I don't think /g/ is your place if you want to learn.
just read sicp idk
>>61199450
why not?
Wikipedia is good enough.
Also learn any LISP-like language and you will understand the concept unintentionally.
Example languages: Scheme, Racket, Clojure.
>>61199487
>Also learn any LISP-like language and you will understand the concept unintentionally.
I know part of scheme and elisp thats the reason why I look for lambda calculus actually I've been loving scheme I wanted to get more to the pureness and core
>>61199378
Its very high level pure mathematics, so looking for a textbook may not be a bad place to start
>>61199603
Thats kinda what im looking for a good books or site that talks about different aspects. Im looking for people who just know a good source out of personal experience
>>61199378
Types and Programming Languages by Benjamin C. Pierce.
>>61199679
Thank you!