Thread replies: 16
Thread images: 6
Thread images: 6
Anonymous
Lisp and Lambda Calculus 2017-05-25 03:04:35 Post No. 8934846
[Report] Image search: [Google]
Lisp and Lambda Calculus 2017-05-25 03:04:35 Post No. 8934846
[Report] Image search: [Google]
File: obsidian.jpg (78KB, 800x494px) Image search:
[Google]
78KB, 800x494px
So I think I'ma use MIT's guide for Lisp, what are some good resources for Lambda Calculus?
>>
File: 176007.jpg (30KB, 600x380px) Image search:
[Google]
30KB, 600x380px
>>8934846
That looks like those pics of a hypodermic needle before use and after a few uses.
>>
File: Durable+yes+obsidian+is+still+technically+glass+after+all+and+_da245b3b5cbcd60b52452a849d6c3cb8.jpg (154KB, 600x511px) Image search:
[Google]
154KB, 600x511px
>>8934848
just the sexiness of obsidian precision
>>
>>8934846
Why would anyone name a language lisp?
Please use my language, I would have called it dildobuttholeIlikepenis but lisp was fewer letters.
>>
>>8934875
is this a joke?
Lisp = list processor
>>
>>8934878
Integrated Mechanical Generating Algorithm Yeti
>>
>>8934846
Why do you care about lambda calculus? Just for shits and giggles?
>>
>>8934846
barendregt
>>
File: brain hulk.png (337KB, 1144x888px) Image search:
[Google]
337KB, 1144x888px
>>8934896
brainlet detected
>>
>>8934846
You're better off asking /g/
>>
>>8934898
krut barendregt
>>
>>8934899
hurr
If he has a specific motivation there may be a more focused reference to give.
>>
>>8934895
?
>>8934896
>shits and giggles
I wanna work on my pattern recognition et al.
>>8934900
Yeah, they might have better resources for Lisp, but I figured you guys would have something good for Lambda calc.
>>8934901
https://www.amazon.com/Calculus-Semantics-Studies-Foundations-Mathematics/dp/0444875085
?
>>
>>8934914
>I wanna work on my pattern recognition et al.
Hmm? Are you going to be writing interpreters of various lambda calculii or just tinkering on paper writing proofs or what? Maybe you want a textbook like https://en.wikipedia.org/wiki/Programming_Languages%3A_Application_and_Interpretation
>>
>>8934853
Obsidian is brittle and prone to flaking off in large chunks. I hope you like sharp little bits of rock left in your heart.
>>
File: Tezcatlipoca_3.jpg (224KB, 684x600px) Image search:
[Google]
224KB, 684x600px
>>8935093
I wanna learn the use(s) and potential limitation(s) of a turing machine.
>>8935520
mmmmkay bud
Thread posts: 16
Thread images: 6
Thread images: 6