Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов - Баранов, Сергей Николаевич; Буавер, Бертран; Соловьев, Сергей Владимирович; Феро, Луи (Труды СПИИРАН, 2012)