|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
| 1. |
D. A. Grigoryan, “On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction”, Уч. записки ЕГУ, сер. Физика и Математика, 53:1 (2019), 37–46  |
| 2. |
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”, Уч. записки ЕГУ, сер. Физика и Математика, 53:1 (2019), 28–36 |
|
2018 |
| 3. |
D. A. Grigoryan, “On main canonical notion of $\delta$-reduction”, Уч. записки ЕГУ, сер. Физика и Математика, 52:3 (2018), 191–199 |
| 4. |
D. A. Grigoryan, “On incomparability of interpretation algorithms of typed functional programs with respect to undefined value”, Уч. записки ЕГУ, сер. Физика и Математика, 52:2 (2018), 109–118 |
|
Обратная связь: