1. Counting and generating terms in the binary lambda calculus*. (29th December 2015) Authors: GRYGIEL, KATARZYNA; LESCANNE, PIERRE Journal: Journal of functional programming Issue: Volume 25(2015) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗