|
| |
|
|
A300127
|
|
Number of Motzkin trees that are "typable closed terms".
|
|
0
|
|
|
|
0, 1, 2, 3, 10, 34, 98, 339, 1263, 4626, 18099, 73782, 306295, 1319660, 5844714, 26481404, 123172740
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
0,3
|
|
|
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
|
| |
|
|
