lambda calculus

• [[danlistensto]] recommended [[the-little-schemer]]
• [[karlicoss]] recommended [[selinger]]: arxiv.org/abs/0804.3434
  • also http://www1.cs.columbia.edu/~sedwards/classes/2008/w4115-fall/functional.pdf
• [[rodrigo-baraglia]] recommended the first chapter of [[haskell from first principles]]