%0 Journal Article
%A В.Д. Соловьев
%T Схемы программ и эффективные функционалы конечных типов
%J Veroâtnostnye metody i kibernetika
%D 1983
%P 129-133
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1983__19_69238/
%G ru
%F VMK_1983__19_69238