%0 Journal Article %A S. Goncharov %A S. Ospichev %A D. Ponomaryov %A D. Sviridenko %T The expressiveness of looping terms in the semantic programming %J Sibirskie èlektronnye matematičeskie izvestiâ %D 2020 %P 380-394 %V 17 %I mathdoc %U http://geodesic.mathdoc.fr/item/SEMR_2020_17_a7/ %G en %F SEMR_2020_17_a7