LAMBDA NOTATION

lambda notation: translation

A term such as ‘Sine 60°’, or ‘the father of Hegel’ refers to a number or a person. But it includes the term ‘Sine…’ or ‘father of…’. ‘Sinex’ or ‘father ofy’ stand for a function referring respectively to a number or a person for particular values ofxandy. If we wish to refer to the function itself, the notation (λx)(Sinex) or (λy) (father ofy) is adopted. A logical calculus with rules involving such terms is called the lambda-calculus.