%0 Journal Article %A R. Yu. Hakopian %T On procedural semantics of strong typed functional programs %J Proceedings of the Yerevan State University. Physical and mathematical sciences %D 2008 %P 59-69 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/UZERU_2008_3_a8/ %G ru %F UZERU_2008_3_a8