On some enumerative problems of lambda calculus
Zapiski Nauchnykh Seminarov POMI, Combinatorics and graph theory. Part X, Tome 475 (2018), pp. 99-121
Voir la notice de l'article provenant de la source Math-Net.Ru
The article considers combinatorial problems associated with the enumeration of lambda-terms in a untyped lambda calculus, as well as in simply typed systems with a single atom in the style of Church. For the case of untyped lambda calculus a system of equations for generating functions is constructed which describes the number of lambda terms. In the case of typed lambda calculus, both the inhabited types and the simplest inhabitants in them are enumerated.
@article{ZNSL_2018_475_a4,
author = {E. C. Krasko and I. N. Labutin and D. N. Moskvin and A. V. Omelchenko and A. I. Khrabrov},
title = {On some enumerative problems of lambda calculus},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {99--121},
publisher = {mathdoc},
volume = {475},
year = {2018},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_2018_475_a4/}
}
TY - JOUR AU - E. C. Krasko AU - I. N. Labutin AU - D. N. Moskvin AU - A. V. Omelchenko AU - A. I. Khrabrov TI - On some enumerative problems of lambda calculus JO - Zapiski Nauchnykh Seminarov POMI PY - 2018 SP - 99 EP - 121 VL - 475 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_2018_475_a4/ LA - ru ID - ZNSL_2018_475_a4 ER -
%0 Journal Article %A E. C. Krasko %A I. N. Labutin %A D. N. Moskvin %A A. V. Omelchenko %A A. I. Khrabrov %T On some enumerative problems of lambda calculus %J Zapiski Nauchnykh Seminarov POMI %D 2018 %P 99-121 %V 475 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_2018_475_a4/ %G ru %F ZNSL_2018_475_a4
E. C. Krasko; I. N. Labutin; D. N. Moskvin; A. V. Omelchenko; A. I. Khrabrov. On some enumerative problems of lambda calculus. Zapiski Nauchnykh Seminarov POMI, Combinatorics and graph theory. Part X, Tome 475 (2018), pp. 99-121. http://geodesic.mathdoc.fr/item/ZNSL_2018_475_a4/