Буавер Бертран

Публикации в базе данных Math-Net.Ru

1. Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов
   
   Тр. СПИИРАН, 23 (2012),  296–323