A lambda term can have one of these three forms: (1) a variable by itself, (2) a lambda abstraction, (3) an application of one lambda term to another one.
lambda calculus lambda lambda abstraction lambda expression lambda function combinator eta conversion logical calculus application church encoding
Save “lambda term” to learn later