The number of plain lambda terms presented by de Bruijn indices, see Bendkowski et al., where zeros have no weight.
A258973
The number of plain lambda terms presented by de Bruijn indices, see Bendkowski et al., where zeros have no weight.
Terms
- a(0) =1a(1) =3a(2) =10a(3) =40a(4) =181a(5) =884a(6) =4539a(7) =24142a(8) =131821a(9) =734577a(10) =4160626a(11) =23881695a(12) =138610418a(13) =812104884a(14) =4796598619a(15) =28529555072a(16) =170733683579
External references
- oeis: A258973