RUS
ENG
Full version
JOURNALS
// Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
// Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.,
2006
Number 3,
Pages
53–55
(Mi vmumm3799)
Short notes
Restoration of types in reflexive combinatory logic
N. V. Krupskii
UDC:
510.66
Received:
17.11.2004
Fulltext:
PDF file (580 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (580 kB)