WOLFRAM

Wolfram Language & System Documentation Center

CombinatorY

represents the combinator.

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

CombinatorY

CombinatorY

represents the combinator.

Details

Examples

open all close all

Basic Examples  (1)

Apply the standard reduction rules of combinatory logic:

These reduction rules do not terminate:

Properties & Relations  (1)

The TemplateBox[{}, CombinatorY] combinator can be expressed in terms of TemplateBox[{}, CombinatorS], TemplateBox[{}, CombinatorK] and TemplateBox[{}, CombinatorI] in many ways:

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

Text

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2025_combinatory, author="Wolfram Research", title="{CombinatorY}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorY.html}", note=[Accessed: 31-October-2025]}

BibLaTeX

@online{reference.wolfram_2025_combinatory, organization={Wolfram Research}, title={CombinatorY}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorY.html}, note=[Accessed: 31-October-2025]}