|
|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
| 1. |
L. Budaghyan, D. A. Grigoryan, L. H. Torosyan, “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  |
|
2003 |
| 2. |
L. Budaghyan, “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 |
1
|
|
|
|
2022 |
| 3. |
A. A. Gorodilova, N. N. Tokareva, S. V. Agievich, I. I. Beterov, T. Beyne, L. Budaghyan, C. Carlet, S. Dhooghe, V. A. Idrisova, N. A. Kolomeec, A. V. Kutsenko, E. S. Malygina, N. Mouha, M. A. Pudovkina, F. Sica, A. N. Udovenko, “An overview of the Eight International Olympiad in Cryptography “Non-Stop University CRYPTO””, Sib. Èlektron. Mat. Izv., 19:1 (2022), 9–37  |
5
|
|
| Organisations |
|
|
