OFFSET
0,5
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
KEYWORD
nonn,more
AUTHOR
Michael De Vlieger, Feb 25 2018
STATUS
approved