Sergei Soloviev

Sergei Soloviev

Institut de Recherche en Informatique de Toulouse - Toulouse / France
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4412163
Toulouse Institute for Computer Science Research
person_outline Sergei Soloviev's MOST POPULAR ARTICLES
1-) Coercive subtyping: theory and implementationZ Luo, S Soloviev, T XueInformation and Computation 223, 18-42, 2013692013
2-) The genericity theorem and parametricity in the polymorphic λ-calculusG Longo, K Milsted, S SolovievTheoretical computer science 121 (1-2), 323-349, 1993641993
3-) Coercion completion and conservativity in coercive subtypingS Soloviev, Z LuoAnnals of Pure and Applied Logic 113 (1-3), 297-322, 2001522001
4-) A logic of subtypingG Loop, K Milsted, S SolovievProceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 292-299, 1995461995
5-) A complete axiom system for isomorphism of types in closed categoriesS SolovievInternational Conference on Logic for Programming Artificial Intelligence …, 1993461993