Thur Oct 26

  • Defining the terms of lambda calculus is highly inconsistent in the material I have been reading. In http://haskellbook.com/[Haskell book] the basic lambda terms are: expressions, abstractions, variables. In this article and wikipedia they are: variables, abstractions, applications. In this article they are: expressions, abstractions, applications.