Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
Learn More about
Wolfram Language
Lambda
Guides
Guide
Symbols
BetaPositionReductions
BetaReduceChain
BetaReduceList
BetaReduce
BetaReducePositions
BetaReduceSizes
BetaReduceStepPlot
BetaReduceTreeList
BetaReductions
BetaSubstitute
BLCLambda
ChurchNumeral
ColorizeLambda
CombinatorLambda
EnumerateLambdas
EnumerateLinearLambdas
EnumerateSizeLambdas
EtaReduce
EvalLambda
FindMinimalLambdaCombinator
FromChurchNumeral
FunctionLambda
HighlightLambdaTree
LambdaApplication
LambdaArrayPlot
LambdaBLC
LambdaBrackets
LambdaCausalEvolutionGraph
LambdaCausalGraph
LambdaCombinator
LambdaConvert
LambdaDepthArrayPlot3D
LambdaDepthArrayPlot
LambdaDiagram
LambdaFunction
LambdaGraph
LambdaLoopbackGraph
LambdaMultiwayCausalEvolutionGraph
LambdaMultiwayCausalGraph
LambdaMultiwayGraph
LambdaRightApplication
LambdaSmiles
LambdaStringDiagram
LambdaString
LambdaToHaskell
LambdaTreeDiagram
LambdaTree
LambdaVariableForm
ParseLambda
RandomLambda
RandomSizeLambda
SmoothLambdaStringDiagram
TagLambda
UncolorizeLambda
UntagLambda
$LambdaCombinatorStore
Wolfram`Lambda`
B
e
t
a
R
e
d
u
c
e
B
e
t
a
R
e
d
u
c
e
[
l
a
m
b
d
a
]
i
t
e
r
a
t
i
v
e
l
y
β
-
r
e
d
u
c
e
a
l
l
s
u
b
-
e
x
p
r
e
s
s
i
o
n
i
n
l
a
m
b
d
a
.
B
e
t
a
R
e
d
u
c
e
[
l
a
m
b
d
a
,
n
]
r
e
d
u
c
e
u
p
-
t
o
n
s
u
b
-
e
x
p
r
e
s
s
i
o
n
s
.
Examples
(
2
)
Basic Examples
(
1
)
β
-reduce a random lambda expression:
I
n
[
1
]
:
=
R
a
n
d
o
m
L
a
m
b
d
a
[
3
,
3
]
O
u
t
[
1
]
=
λ
.
[
λ
.
[
λ
.
[
1
[
3
]
[
2
]
]
]
[
λ
.
[
λ
.
[
2
[
3
]
[
2
]
]
[
λ
.
[
1
[
2
]
]
]
]
]
[
λ
.
[
λ
.
[
3
[
1
]
]
]
]
]
I
n
[
2
]
:
=
B
e
t
a
R
e
d
u
c
e
[
%
]
O
u
t
[
2
]
=
λ
.
[
1
[
λ
.
[
1
[
2
]
[
1
]
]
]
]
P
r
o
p
e
r
t
i
e
s
&
R
e
l
a
t
i
o
n
s
(
1
)
S
e
e
A
l
s
o
E
v
a
l
L
a
m
b
d
a
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
G
u
i
d
e
"
"
