Enumerating Lambda Terms by Weighted Length of Their De Bruijn Representation

Olivier Bodini, Bernhard Gittenberger, Zbigniew Gołębiewski

John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of 0-1-strings using the de Bruijn representation along with a weighting schem…