represents the TemplateBox[{}, CombinatorK] combinator.
CombinatorK
represents the TemplateBox[{}, CombinatorK] combinator.
Details
- The TemplateBox[{}, CombinatorK] combinator has the property that TemplateBox[{}, CombinatorK]xy reduces to .
- No transformations for CombinatorK are applied automatically.
- CombinatorK is output in StandardForm or TraditionalForm as TemplateBox[{}, CombinatorK]. This typeset form can be input using cK.
Examples
open all close allBasic Examples (2)
Apply the standard reduction rules of combinatory logic:
Use the axioms of combinatory logic to prove the TemplateBox[{}, CombinatorK] identity:
Applications (1)
Prove an identity among combinators:
Properties & Relations (1)
The TemplateBox[{}, CombinatorK] combinator is equivalent to the term :
See Also
Function Repository: CombinatorConvert CombinatorStep CombinatorEvolve CombinatorEvolutionGraph CombinatorTraditionalForm CombinatorEvolutionPlot CombinatorToDAG ChurchCombinator CombinatorPlot CombinatorMatches CombinatorBracketsPlot CombinatorEvolveList EnumerateCombinators SKCombinatorLeftmostOutermostFinalExpression SKCombinatorLeftmostOutermostLeafCounts SKCombinatorCompile RandomCombinator
Related Guides
History
Text
Wolfram Research (2020), CombinatorK, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorK.html.
CMS
Wolfram Language. 2020. "CombinatorK." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CombinatorK.html.
APA
Wolfram Language. (2020). CombinatorK. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CombinatorK.html
BibTeX
@misc{reference.wolfram_2025_combinatork, author="Wolfram Research", title="{CombinatorK}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorK.html}", note=[Accessed: 08-January-2026]}
BibLaTeX
@online{reference.wolfram_2025_combinatork, organization={Wolfram Research}, title={CombinatorK}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorK.html}, note=[Accessed: 08-January-2026]}