С.В. Соловьев

1. Z. Luo, S. Soloviev, T. Xue.  Coercive Subtyping: Theory and Implementation. Inf. Comput., 223, 18-42 (2013)  2. R. Matthes, S. Soloviev. Preface to the special issue: commutativity of algebraic diagrams. Math. Structures in Computer Science. 22(6), 901-903 (2012) 3. B. Boisvert, L. Feraud, S. Soloviev. Typed lambda-terms in categorical attributed graph transformation. AMMSE 2011, EPTCS, v. 57, 33-47 (2011). 4.R. Brown, S. Soloviev. Monoidal and Monoidal Closed Categories. - An appendix to the book: R. Brown, Ph. J. Higgins, R. Severa. Nonabelian Algebraic Topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. European Math. Soc. Publishing House,  v.15, Tracts in Mathematics, pp.608-612 (2011). 5.  A. El-Khoury, S. Soloviev, L. Mehats, M. Spivakovsky. On varieties of closed categories and dependency of diagrams of canonical maps. In: Proofs, Categories and Computations. Essays in Honor of Grigory Mints. S. Feferman, W. Sieg (eds). College Publications, pp. 70-85 (2010)