EGAVE

combinator

About 0.03 uses per million words.

Meaning

  1. noun A lambda expression which has no free variables in it.

Similar words

supercombinator combinatory logic lambda calculus closed formula sentence lambda lambda abstraction lambda term free variable nonexplosion

Often followed by

is reduction for graph library to expressions that code

Save “combinator” to learn later