login
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
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
Olivier Bodini, Paul Tarau, On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms, arXiv:1709.04302 [cs.PL], 2017.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Michael De Vlieger, Feb 25 2018
STATUS
approved