|
|
|
Publications in Math-Net.Ru |
Citations |
|
2011 |
| 1. |
A. H. Arakelyan, “Unsolvability of type correctness problem for functional programs”, Proceedings of the YSU, Physical and Mathematical Sciences, 2011, no. 1, 28–35  |
|
2010 |
| 2. |
A. H. Arakelyan, “On the type correctness of polymorphic $\lambda$-terms. 2”, Proceedings of the YSU, Physical and Mathematical Sciences, 2010, no. 1, 37–46 |
|
2009 |
| 3. |
A. H. Arakelyan, “On the type correctness of polymorphic $\lambda$-terms. 1”, Proceedings of the YSU, Physical and Mathematical Sciences, 2009, no. 3, 42–51 |
1
|
|
| Organisations |
|
|
Contact us: