The Generating Functions of Lambda Terms

摘要

The canonical normal functor models of the lambda calculus admit interpretations in the shape of formal power series in non-negative integer coefficients. We give an analytic description of the interpretation of looping combinators by the Lagrange-Good inversion formula.