TY  - JOUR
AU  - В.Д. Соловьев
TI  - Схемы программ и эффективные функционалы конечных типов
JO  - Veroâtnostnye metody i kibernetika
PY  - 1983
SP  - 129
EP  - 133
VL  - 19
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1983__19_69238/
LA  - ru
ID  - VMK_1983__19_69238
ER  -