1.
Баранов СН, Буавер Б, Соловьев СВ, Феро Л. Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов. ТС [Интернет]. 1дек.2012 [цитируется по 21ноя.2024];4(23):296-23. Available from: https://ia.spcras.ru/index.php/sp/article/view/1640