The numbers of plain simply typable lambda terms of natural size n.
A294450
The numbers of plain simply typable lambda terms of natural size n.
Terms
- a(0) =0a(1) =1a(2) =2a(3) =3a(4) =8a(5) =17a(6) =42a(7) =106a(8) =287a(9) =747a(10) =2069a(11) =5732a(12) =16012a(13) =45283a(14) =129232a(15) =370761a(16) =1069972
External references
- oeis: A294450