Torosyan Lusine H.

Publications in Math-Net.Ru

1. 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