CombinatorW

CombinatorW

represents the TemplateBox[{}, CombinatorW] combinator.

Details

Examples

open allclose all

Basic Examples  (1)

Apply the standard reduction rules of combinatory logic:

Properties & Relations  (1)

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

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

Text

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2023_combinatorw, author="Wolfram Research", title="{CombinatorW}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorW.html}", note=[Accessed: 28-March-2024 ]}

BibLaTeX

@online{reference.wolfram_2023_combinatorw, organization={Wolfram Research}, title={CombinatorW}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorW.html}, note=[Accessed: 28-March-2024 ]}