Functional Programming, Programming, Programming Languages.
language, <expression> := <name> | <function> | <application> <function> := λ<name>.<expression> <application> := (<expression> <expression>) Looking at this, you will realise that everything is an expression, λ expression. Lets see few λ expressions, 1) λx.x 2) λfunc.λarg.(func arg) 3)