|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2006, Number 3, Pages 53–55
(Mi vmumm3799)
|
|
|
|
Short notes
Restoration of types in reflexive combinatory logic
N. V. Krupskii
Received: 17.11.2004
Citation:
N. V. Krupskii, “Restoration of types in reflexive combinatory logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2006, no. 3, 53–55
Linking options:
https://www.mathnet.ru/eng/vmumm3799 https://www.mathnet.ru/eng/vmumm/y2006/i3/p53
|
Statistics & downloads: |
Abstract page: | 38 | Full-text PDF : | 20 |
|