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
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2018_475_a4/
LA  - ru
ID  - ZNSL_2018_475_a4
ER  -