%0 Journal Article %A A. A. Kuzichev %T Addition of noncombinatory relations to the calculus of $\lambda$-conversion %J Vestnik Moskovskogo universiteta. Matematika, mehanika %D 1984 %P 34-36 %N 6 %U http://geodesic.mathdoc.fr/item/VMUMM_1984_6_a8/ %G ru %F VMUMM_1984_6_a8