A300128 Number of Motzkin trees that are "typable closable skeletons".

0, 1, 1, 1, 5, 9, 17, 55, 122, 289, 828, 2037, 5239, 14578, 37942, 101307, 281041, 755726, 2062288

Offset: 0

Author

Michael De Vlieger, Feb 25 2018

Keywords

• nonn
• more

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

Cf. A000108, A001006, A135501.