Solov'ev Sergei V

Publications in Math-Net.Ru

1. Automorphisms of types and their applications
   
   Zap. Nauchn. Sem. POMI, 468 (2018),  287–308
2. Conditionally reversible computations and weak universality in category theory
   
   Zap. Nauchn. Sem. POMI, 421 (2014),  19–32
3. Applications of typed $\lambda$-terms to categorical attributed graph transformations
   
   Tr. SPIIRAN, 23 (2012),  296–323
4. Categorical interpretation of logical derivations and some its applications to algebra
   
   Zap. Nauchn. Sem. POMI, 373 (2009),  318–344
5. Natural transformations of superpositions of selected functors in some closed categories
   
   Zap. Nauchn. Sem. LOMI, 160 (1987),  257–261
6. The category of finite sets and Cartesian closed categories
   
   Zap. Nauchn. Sem. LOMI, 105 (1981),  174–194
7. Preservation of the equivalence of proofs under reduction of the formula depth
   
   Zap. Nauchn. Sem. LOMI, 88 (1979),  197–208
8. A growth of length of $\mathrm L$-derivationtrans formed into natural deduction
   
   Zap. Nauchn. Sem. LOMI, 88 (1979),  192–196
9. A coherence theorem for canonical morphisms in cartesian closed categories
   
   Zap. Nauchn. Sem. LOMI, 88 (1979),  3–29


10. On early period of N. A. Shanin's scientific biography
    
    Zap. Nauchn. Sem. POMI, 528 (2023),  195–213
11. Nikolai Aleksandrovich Shanin (obituary)
    
    Uspekhi Mat. Nauk, 68:4(412) (2013),  173–176