an:07253502
Zbl 07253502
Krasko, E. S.; Labutin, I. N.; Moskvin, D. N.; Omelchenko, A. V.; Khrabrov, A. I.
On some enumerative problems in lambda calculus
EN
J. Math. Sci., New York 247, No. 3, 442-456 (2020); translation from Zap. Nauchn. Semin. POMI 475, 99-121 (2018).
00453499
2020
j
68N18 05A15
Summary: Combinatorial problems related to the enumeration of lambda terms in the untyped lambda calculus and in the Church-style simply typed lambda calculus with a single atom are considered. For the case of untyped lambda calculus, a system of equations for generating functions that enumerate lambda terms is derived. For the typed lambda calculus, the inhabited types are enumerated, as well as their primitive inhabitants.