Assertion: argument's function | /r/HasProperty | represented in lambda calculus
Facets:
value: as a function
type: MANNER
value: usually
type: TEMPORAL
Source sentences:
text: What is thought of as functions with multiple parameters is usually represented in lambda calculus as a function which takes the first argument, and returns a function which takes the rest of the arguments; this is a transformation known as currying.