|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 1984, Number 6, Pages 34–36
(Mi vmumm3769)
|
|
|
|
Mathematics
Addition of noncombinatory relations to the calculus of $\lambda$-conversion
A. A. Kuzichev
Received: 09.03.1983
Citation:
A. A. Kuzichev, “Addition of noncombinatory relations to the calculus of $\lambda$-conversion”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, no. 6, 34–36
Linking options:
https://www.mathnet.ru/eng/vmumm3769 https://www.mathnet.ru/eng/vmumm/y1984/i6/p34
|
|