|
| |
|
|
A300128
|
|
Number of Motzkin trees that are "typable closable skeletons".
|
|
0
|
|
|
|
0, 1, 1, 1, 5, 9, 17, 55, 122, 289, 828, 2037, 5239, 14578, 37942, 101307, 281041, 755726, 2062288
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
0,5
|
|
|
COMMENTS
|
From the Bodini-Tarau paper: a Motzkin skeleton is called "typable" if "it exists at least one simply-typed closed lambda term having it as its skeleton".
|
|
|
LINKS
|
|
|
|
CROSSREFS
|
|
|
|
KEYWORD
|
nonn,more
|
|
|
AUTHOR
|
|
|
|
STATUS
|
approved
|
| |
|
|
