<span class="searchmatch">supercombinators</span> plural of <span class="searchmatch">supercombinator</span>...
constant or a combinator where all the subexpressions are <span class="searchmatch">supercombinators</span>. <span class="searchmatch">Supercombinators</span> are used in the implementation of functional languages. mathematical...
combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ0. <span class="searchmatch">supercombinator</span> lambda expression with no free variables combīnātor second/third-person...