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],λ.λ.21λ.[1],λ.λ.λ.[3[1]][1],λ.λ.1λ.[3[1]],λ.λ.λ.[1[3]][1],λ.λ.1λ.[1[3]],λ.λ.λ.[1][2][1],λ.λ.1λ.[1][2],λ.λ.2λ.[1][1],λ.λ.12λ.[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}
 |
|
""