%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