 More details can be found in the short article About the efficient reduction of lambda terms.The fact that lambda calculus terms act as functions on other lambda calculus terms, and even on themselves, led to questions about the semantics of the lambda calculus.Could a sensible meaning be assigned to lambda calculus terms?