📚 node [[lambda calculus]]
lambda calculus
- [[danlistensto]] recommended [[the-little-schemer]]
- [[karlicoss]] recommended [[selinger]]: arxiv.org/abs/0804.3434
- [[rodrigo-baraglia]] recommended the first chapter of [[haskell from first principles]]
https://twitter.com/flancian/status/1379069865672245251 https://twitter.com/encincovoy/status/1379074318710280201 https://twitter.com/karlicoss/status/1379071209153904640
📖 stoas
- public document at doc.anagora.org/lambda-calculus
- video call at meet.jit.si/lambda-calculus
⥱ context
↑ pushing here
(none)
(none)
↓ pulling this
(none)
(none)
🔎 full text search for 'lambda calculus'