|
| |
|
|
A294450
|
|
The numbers of plain simply typable lambda terms of natural size n.
|
|
0
|
|
|
|
0, 1, 2, 3, 8, 17, 42, 106, 287, 747, 2069, 5732, 16012, 45283, 129232, 370761, 1069972
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
0,3
|
|
|
LINKS
|
Table of n, a(n) for n=0..16.
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, A natural counting of Lambda terms, arXiv:1506.02367 [cs.LO], 2015.
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, A Natural Counting of Lambda Terms, SOFSEM 2016: 183-194.
Maciej Bendkowski, K. Grygiel, P. Tarau, Random generation of closed simply-typed lambda-terms: a synergy between logic programming and Boltzmann samplers, arXiv preprint arXiv:1612.07682 [cs.LO], 2016-2017.
|
|
|
CROSSREFS
|
Cf. A105633, A220471, A236393, A236405, A272794.
Sequence in context: A219788 A099965 A319566 * A345243 A292852 A148014
Adjacent sequences: A294447 A294448 A294449 * A294451 A294452 A294453
|
|
|
KEYWORD
|
nonn,more
|
|
|
AUTHOR
|
N. J. A. Sloane, Nov 22 2017
|
|
|
STATUS
|
approved
|
| |
|
|
