Budaghyan Lilya E.

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
2. On formalization of notion of $\delta$-reduction in monotonic models of typed $\lambda$-calculus
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2003, no. 1,  27–36


3. An overview of the Eight International Olympiad in Cryptography “Non-Stop University CRYPTO”
   
   Sib. Èlektron. Mat. Izv., 19:1 (2022),  9–37