A Natural Counting of Lambda Terms.

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc

Browse the full SOFSEM paper archive.