WOLFRAM NOTEBOOK

GUIDE
​
URL
Combinator Functions
This page lists some of the functions in
Wolfram Function Repository
created to explore combinators.
Combinatory Terms
Application
() — combinator application operator
CombinatorS
,
CombinatorK
— Schönfinkel basic combinators
CombinatorB
▪
CombinatorC
▪
CombinatorI
▪
CombinatorW
▪
CombinatorY
Construction and Enumeration
— enumerate combinators involving a given number of symbols
— converts any combinator expression to the SK basis
Construct
▪
Function
▪
Groupings
▪
FixedPoint
Combinator Evolution
,
— apply combinator rules until a fixed point is reached
,
— apply combinators rules for a certain number of steps
Combinator Visualization
— visualize a combinator expression
— visualize combinator evolution
— show a combinator expression as a graph
— show a combinator expression using brackets
Automated Theorem Proving
— combinator expression as a multiway system
— generate proofs in combinatory logic
AxiomaticTheory
▪
FindEquationalProof
RelatedGuides
▪
Wolfram Physics Project Functions
RelatedLinks
▪
Wolfram Physics Project Home Page
▪
Hands-On Introduction to the Wolfram Physics Project
▪
Wolfram Physics Project: Technical Introduction
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.