Будагян Лилия

Публикации в базе данных Math-Net.Ru

1. A necessary and sufficient condition for the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms
   
   Уч. записки ЕГУ, сер. Физика и Математика, 53:1 (2019),  28–36
2. О формализации понятия $\delta$-редукции в монотонных моделях типового $\lambda$-исчисления
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2003, № 1,  27–36


3. An overview of the Eight International Olympiad in Cryptography “Non-Stop University CRYPTO”
   
   Сиб. электрон. матем. изв., 19:1 (2022),  9–37