Posts tagged "linear" Sum of heights in a binary tree - November 3, 2017 Counting linear lambda terms: choice and correspondence - February 9, 2011 Counting linear lambda terms - January 26, 2011
