On the Number of Lambda Terms With Prescribed Size of Their De Bruijn Representation.

Bernhard Gittenberger, Zbigniew Golebiewski

Browse the full STACS paper archive.