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