WOLFRAM

Wolfram Language & System Documentation Center

CombinatorB

represents the TemplateBox[{}, CombinatorB] combinator.

Details
Details and Options Details and Options
Examples  
Basic Examples  
Properties & Relations  
See Also
Related Guides
History
Cite this Page

CombinatorB

CombinatorB

represents the TemplateBox[{}, CombinatorB] combinator.

Details

Examples

open all close all

Basic Examples  (1)

Apply the standard reduction rules of combinatory logic:

Wolfram Language code: CombinatorBxyz //. AxiomaticTheory["CombinatorAxioms", "RewriteRules"]
Wolfram Language code: x(yz)

Properties & Relations  (2)

TemplateBox[{}, CombinatorB] represents composition of functions:

Wolfram Language code: Composition[x, y][z]
Wolfram Language code: % //. f_@g_ :> fg

The TemplateBox[{}, CombinatorB] combinator can be expressed in terms of TemplateBox[{}, CombinatorS] and TemplateBox[{}, CombinatorK] as TemplateBox[{}, CombinatorS](TemplateBox[{}, CombinatorK]TemplateBox[{}, CombinatorS])TemplateBox[{}, CombinatorK]:

Wolfram Language code: CombinatorS(CombinatorKCombinatorS)CombinatorK //. {CombinatorSx_y_z_ :> xz(yz), CombinatorKx_y_ :> x}
Wolfram Research (2020), CombinatorB, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorB.html.

Text

Wolfram Research (2020), CombinatorB, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorB.html.

CMS

Wolfram Language. 2020. "CombinatorB." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CombinatorB.html.

APA

Wolfram Language. (2020). CombinatorB. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CombinatorB.html

BibTeX

@misc{reference.wolfram_2026_combinatorb, author="Wolfram Research", title="{CombinatorB}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorB.html}", note=[Accessed: 12-June-2026]}

BibLaTeX

@online{reference.wolfram_2026_combinatorb, organization={Wolfram Research}, title={CombinatorB}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorB.html}, note=[Accessed: 12-June-2026]}