Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 3 (2006), pp. 53-55
Citer cet article
N. V. Krupskii. Restoration of types in reflexive combinatory logic. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 3 (2006), pp. 53-55. http://geodesic.mathdoc.fr/item/VMUMM_2006_3_a9/
@article{VMUMM_2006_3_a9,
author = {N. V. Krupskii},
title = {Restoration of types in reflexive combinatory logic},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {53--55},
year = {2006},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_2006_3_a9/}
}
TY - JOUR
AU - N. V. Krupskii
TI - Restoration of types in reflexive combinatory logic
JO - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY - 2006
SP - 53
EP - 55
IS - 3
UR - http://geodesic.mathdoc.fr/item/VMUMM_2006_3_a9/
LA - ru
ID - VMUMM_2006_3_a9
ER -
%0 Journal Article
%A N. V. Krupskii
%T Restoration of types in reflexive combinatory logic
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2006
%P 53-55
%N 3
%U http://geodesic.mathdoc.fr/item/VMUMM_2006_3_a9/
%G ru
%F VMUMM_2006_3_a9
