A. A. Kuzichev, “Addition of noncombinatory relations to the calculus of <nobr>$\lambda$</nobr>-conversion”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, Number 6,Pages <nobr>34

JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984 Number 6, Pages 34–36 (Mi vmumm3769)

Mathematics

Addition of noncombinatory relations to the calculus of $\lambda$-conversion

A. A. Kuzichev

UDC: 517.12

Received: 09.03.1983

Fulltext: PDF file (565 kB)

Bibliographic databases: