Introduction to the λ-Calculus

(lawrencecpaulson.github.io)

16 points | by matt_d 14 hours ago ago

2 comments

  • sevensor 40 minutes ago ago

    > (according to one rumour, because Dana Scott was fond of curry)

    I always assumed it was related to Haskell Curry, the logician.

  • nuancebydefault 44 minutes ago ago

    What is the benefitsof the lambda notation over a more intuitive arrow notation like x->x+1?