%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