Соловьев Сергей В

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

1. Automorphisms of types and their applications
   
   Зап. научн. сем. ПОМИ, 468 (2018),  287–308
2. Conditionally reversible computations and weak universality in category theory
   
   Зап. научн. сем. ПОМИ, 421 (2014),  19–32
3. Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов
   
   Тр. СПИИРАН, 23 (2012),  296–323
4. Категорная интерпретация логических выводов и некоторые ее применения в алгебре
   
   Зап. научн. сем. ПОМИ, 373 (2009),  318–344
5. О естественных преобразованиях суперпозиций выделенных функторов в некоторых замкнутых категориях
   
   Зап. научн. сем. ЛОМИ, 160 (1987),  257–261
6. Категория конечных множеств и декартово замкнутые категории
   
   Зап. научн. сем. ЛОМИ, 105 (1981),  174–194
7. Сохранение эквивалентности выводов при редукции глубины формул
   
   Зап. научн. сем. ЛОМИ, 88 (1979),  197–208
8. Рост длины секвенциального вывода при перестройке в натуральный
   
   Зап. научн. сем. ЛОМИ, 88 (1979),  192–196
9. Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях
   
   Зап. научн. сем. ЛОМИ, 88 (1979),  3–29


10. О раннем периоде научной биографии Н. А. Шанина
    
    Зап. научн. сем. ПОМИ, 528 (2023),  195–213
11. Николай Александрович Шанин (некролог)
    
    УМН, 68:4(412) (2013),  173–176