The number of distinct (up to alpha-equivalence) closed lambda calculus terms n characters long, assuming standard notational conventions.

A260661

The number of distinct (up to alpha-equivalence) closed lambda calculus terms n characters long, assuming standard notational conventions.

Terms

    a(0) =0a(1) =0a(2) =0a(3) =0a(4) =1a(5) =3a(6) =8a(7) =22a(8) =68a(9) =235a(10) =896a(11) =3700a(12) =16388a(13) =77424a(14) =388337a(15) =2058898a(16) =11494391a(17) =67345463a(18) =412884769a(19) =2641957682a(20) =17603708949a(21) =121891857559a(22) =875463364581

External references