Assertion: abstraction | /r/CapableOf | turn lambda terms
Facets:
value: into combinator calculus terms
type: OTHER
Source sentences:
text: Several of these have direct applications in the elimination of abstraction that turns lambda terms into combinator calculus terms.