Ghazaryan Gor A.

Publications in Math-Net.Ru

1. On transformations of untyped functional programs and their procedural semantics
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2011, no. 1,  36–43