9 citations · 37 across the 32 of their papers we have counts for
1 paper · 2 filters
Olivier Bodini, Paul Tarau
Uniquely closable skeletons of lambda terms are Motzkin-trees that predetermine the unique closed lambda term that can be obtained by labeling their leaves with de Bruijn indices.…