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