arXiv:1305.0640 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords counting sequence, closed lambda-terms, enumeration, recurrence relation, generating function Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset