[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Free Show | Home]

Where can I find good resources to learn lambda calculus. Some

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.

Thread replies: 10
Thread images: 2

File: unnamed.png (6KB, 300x300px) Image search: [Google]
unnamed.png
6KB, 300x300px
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.
>>
File: ddd.png (32KB, 668x423px) Image search: [Google]
ddd.png
32KB, 668x423px
>>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!
Thread posts: 10
Thread images: 2


[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y] [Search | Top | Home]

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/


If you need a post removed click on it's [Report] button and follow the instruction.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com.
If you like this website please support us by donating with Bitcoins at 16mKtbZiwW52BLkibtCr8jUg2KVUMTxVQ5
All trademarks and copyrights on this page are owned by their respective parties.
Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the content originated from that site.
This means that RandomArchive shows their content, archived.
If you need information for a Poster - contact them.