Assertion: expression's type | /r/HasProperty | called lambda expressions
Facets:
Source sentences:
text: In the 1930s, a new type of expressions, called lambda expressions, were introduced by Alonzo Church and Stephen Kleene for formalizing functions and their evaluation.