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