Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
EnumerateLinearLambdas  |
|
| | ||||
Examples
(1)
Basic Examples
(1)
In[1]:=
 | EnumerateLinearLambdas |
Out[1]=
{λ.[λ.[λ.[3[2][1]]]],λ.[λ.[λ.[3[1][2]]]],λ.[λ.[λ.[2[3][1]]]],λ.[λ.[λ.[2[1][3]]]],λ.[λ.[λ.[1[3][2]]]],λ.[λ.[λ.[1[2][3]]]],λ.[λ.[λ.[3[2[1]]]]],λ.[λ.[λ.[3[1[2]]]]],λ.[λ.[λ.[2[3[1]]]]],λ.[λ.[λ.[2[1[3]]]]],λ.[λ.[λ.[1[3[2]]]]],λ.[λ.[λ.[1[2[3]]]]],λ.[λ.[λ.[2[1]][2]]],λ.[λ.[2[λ.[2[1]]]]],λ.[λ.[λ.[1[2]][2]]],λ.[λ.[2[λ.[1[2]]]]],λ.[λ.[λ.[1][1][2]]],λ.[λ.[2[λ.[1][1]]]],λ.[λ.[1[λ.[1]][2]]],λ.[λ.[2[1[λ.[1]]]]],λ.[λ.[λ.[3[1]][1]]],λ.[λ.[1[λ.[3[1]]]]],λ.[λ.[λ.[1[3]][1]]],λ.[λ.[1[λ.[1[3]]]]],λ.[λ.[λ.[1][2][1]]],λ.[λ.[1[λ.[1][2]]]],λ.[λ.[2[λ.[1]][1]]],λ.[λ.[1[2[λ.[1]]]]],λ.[λ.[λ.[1][2[1]]]],λ.[λ.[2[1][λ.[1]]]],λ.[λ.[λ.[1][1[2]]]],λ.[λ.[1[2][λ.[1]]]],λ.[λ.[λ.[2[1]]][1]],λ.[1[λ.[λ.[2[1]]]]],λ.[λ.[λ.[1[2]]][1]],λ.[1[λ.[λ.[1[2]]]]],λ.[λ.[λ.[1][1]][1]],λ.[1[λ.[λ.[1][1]]]],λ.[λ.[1[λ.[1]]][1]],λ.[1[λ.[1[λ.[1]]]]],λ.[λ.[1][λ.[1]][1]],λ.[1[λ.[1][λ.[1]]]],λ.[λ.[2[1]][λ.[1]]],λ.[λ.[1[2]][λ.[1]]],λ.[λ.[1][1][λ.[1]]],λ.[1[λ.[1]][λ.[1]]],λ.[λ.[1][λ.[2[1]]]],λ.[λ.[1][λ.[1[2]]]],λ.[λ.[1][λ.[1][1]]],λ.[λ.[1][1[λ.[1]]]],λ.[λ.[2[1]]][λ.[1]],λ.[λ.[1[2]]][λ.[1]],λ.[λ.[1][1]][λ.[1]],λ.[1[λ.[1]]][λ.[1]],λ.[1][λ.[λ.[2[1]]]],λ.[1][λ.[λ.[1[2]]]],λ.[1][λ.[λ.[1][1]]],λ.[1][λ.[1[λ.[1]]]],λ.[1][λ.[1]][λ.[1]],λ.[1][λ.[1][λ.[1]]]}
Number of closed linear lambda terms:
In[2]:=
ResourceFunction["OEISSequence"]["A062980"]
Out[2]=
{1,5,60,1105,27120,828250,30220800,1282031525,61999046400,3366961243750,202903221120000,13437880555850250,970217083619328000,75849500508999712500,6383483988812390400000,575440151532675686278125,55318762960656722780160000}
In[3]:=
TableLength@
[size],{size,5}
 | EnumerateLinearLambdas |
Out[3]=
{1,5,60,1105,27120}
Number of normal linear lambda terms of size n with no free variables:
In[4]:=
ResourceFunction["OEISSequence"]["A262301"]
Out[4]=
{1,3,26,367,7142,176766,5304356,186954535,7566084686,345664350778,17592776858796,986961816330662,60502424162842876,4023421969420255644,288464963899330354104,22180309834307193611287,1820641848410408158704734,158897008602951290424279330}
In[5]:=
TableCount
[size],_?BetaNormalQ,{size,5}
 | EnumerateLinearLambdas |
Out[5]=
{1,3,26,367,7142}
 |
|
""