Торосян Лусине A.

Публикации в базе данных 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