Assertion: function | /r/HasProperty | defined in typed lambda calculus
Facets:
value: simply
type: MANNER
Source sentences:
text: In theoretical settings and programming languages where functions are defined in curried form, such as the simply typed lambda calculus, a function type depends on exactly two types, the domain A and the range B.