RUS
ENG
Full version
PEOPLE
Moskvin Denis Nikolaevich
Publications in Math-Net.Ru
On some enumerative problems of lambda calculus
Zap. Nauchn. Sem. POMI
,
475
(2018),
99–121
©
Steklov Math. Inst. of RAS
, 2026
