"On k-colored Lambda Terms and Their Skeletons."

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