|
|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
| 1. |
D. A. Grigoryan, “On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction”, Proceedings of the YSU, Physical and Mathematical Sciences, 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”, Proceedings of the YSU, Physical and Mathematical Sciences, 53:1 (2019), 28–36 |
|
2018 |
| 3. |
D. A. Grigoryan, “On main canonical notion of $\delta$-reduction”, Proceedings of the YSU, Physical and Mathematical Sciences, 52:3 (2018), 191–199 |
| 4. |
D. A. Grigoryan, “On incomparability of interpretation algorithms of typed functional programs with respect to undefined value”, Proceedings of the YSU, Physical and Mathematical Sciences, 52:2 (2018), 109–118 |
|
| Organisations |
|
|
Contact us: