Труды СПИИРАН

Буавер, Бертран, Франция

• Труды СПИИРАН. 2012. № 4(23) - Статьи
  Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов
  Аннотация  PDF