Grigoryan David A.

Publications in Math-Net.Ru

1. On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 53:1 (2019),  37–46
2. A necessary and sufficient condition for the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 53:1 (2019),  28–36
3. On main canonical notion of $\delta$-reduction
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 52:3 (2018),  191–199
4. On incomparability of interpretation algorithms of typed functional programs with respect to undefined value
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 52:2 (2018),  109–118