|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2012 |
1. |
С. Н. Баранов, Б. Буавер, С. В. Соловьев, Л. Феро, “Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов”, Тр. СПИИРАН, 23 (2012), 296–323 |
|