A300130 Number of Motzkin trees that are a "uniquely typable skeleton".

0, 1, 0, 0, 2, 0, 1, 7, 1, 13, 34, 20, 100, 226, 234, 853, 1877, 2650, 8128, 18116, 30483, 85713

Offset: 0

Author

Michael De Vlieger, Feb 25 2018

Keywords

• nonn
• more

Comments

From the Bodini-Tarau paper: "A uniquely typable skeleton is one for which it exists exactly one simply-typed closed lambda term having it as a 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.