Hakopian R Yu

Publications in Math-Net.Ru

1. On procedural semantics of strong typed functional programs
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2008, no. 3,  59–69