The generating functions of lambda terms (extended abstract)

MaRDI QIDQ4217597zbMATH OpenFDO

Authors Ryu Hasegawa

Publication date 2 March 1999

zbMATH Keywords

analytic descriptionenumerative combinatoricsformal power seriesgenerating functionsLagrange-Good inversion formulalooping combinatorsnormal functor models of lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Exact enumeration problems, generating functions (05A15)

Recommendations

• Counting and generating lambda terms
• On some enumerative problems in lambda calculus
• scientific article; zbMATH DE number 1498547
• Two applications of analytic functors

Cited in

(5)

• scientific article; zbMATH DE number 1498547 (Why is no real title available?)
• Quantitative Aspects of Linear and Affine Closed Lambda Terms
• Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels
• scientific article; zbMATH DE number 7089070 (Why is no real title available?)
• Two applications of analytic functors

This page was built for publication: The generating functions of lambda terms (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4217597)