A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations.

Paul Tarau

Browse the full PADL paper archive.