"A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects ..."

Paul Tarau (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics