Баранов, С. Н., Буавер, Б., Соловьев, С. В., & Феро, Л. (2012). Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов. Труды СПИИРАН, 4(23), 296-323. https://doi.org/10.15622/sp.23.15