Assertion: expression's type | /r/HasProperty | introduced by alonzo church
Facets:
value: for formalizing functions
type: PURPOSE
value: in the 1930s
type: TEMPORAL
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.