×

zbMATH — the first resource for mathematics

Solov’ëv, Sergeĭ Vladimirovich

Compute Distance To:
Author ID: soloviev.sergei-vladimirovich Recent zbMATH articles by "Solov’ëv, Sergeĭ Vladimirovich"
Published as: Soloviev, Sergei; Solov’ev, S. V.; Soloviev, S.; Soloviev, S. V.; Soloviev, Sergei Vladimirovich; Solov’ev, Sergei V.; Soloviev, Sergei V.; Soloviev, Sergej
Homepage: https://www.irit.fr/~Sergei.Soloviev/
External Links: IdRef · MGP · theses.fr · Math-Net.Ru · ResearchGate · dblp
Documents Indexed: 50 Publications since 1979, including 3 Books
Reviewing Activity: 81 Reviews

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 78 times in 48 Documents Cited by Year
The category of finite sets and Cartesian closed categories. Zbl 0509.18002
Solov’ev, S. V.
11
1983
The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus. Zbl 0793.03008
Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei
8
1993
On the conditions of full coherence in closed categories. Zbl 0723.18008
Soloviev, S. V.
7
1990
Proof of a conjecture of S. Mac Lane. Zbl 0895.03028
Soloviev, S.
5
1997
A complete axiom system for isomorphism of types in closed categories. Zbl 0797.18008
Soloviev, S.
5
1993
Coercive subtyping: theory and implementation. Zbl 1267.03042
Luo, Zhaohui; Soloviev, S.; Xue, Taoxue
5
2013
Coherence and transitivity of subtyping as entailment. Zbl 0959.03042
Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei
5
2000
Coercion completion and conservativity in coercive subtyping. Zbl 1011.03017
Soloviev, Sergei; Luo, Zhaohui
4
2002
On natural transformations of distinguished functors and their superpositions in certain closed categories. Zbl 0625.18002
Soloviev, S. V.
4
1987
A coherence theorem for canonical morphisms in Cartesian closed categories. Zbl 0493.03032
Babaev, A. A.; Solov’ev, S. V.
4
1982
Some algorithmic and proof-theoretical aspects of coercive subtyping. Zbl 0927.03081
Jones, Alex; Luo, Zhaohui; Soloviev, Sergei
2
1998
A coherence theorem for canonical maps in Cartesian closed categories. Zbl 0429.03037
Babaev, A. A.; Solov’ev, S. V.
2
1979
Reductions in intuitionistic linear logic. Zbl 0847.03005
Soloviev, Sergei
2
1995
Preservation of equivalence of derivations under reduction of depth of formulas. Zbl 0493.03031
Solov’ev, S. V.
2
1982
Coherence in SMCCs and equivalences on derivations in IMML with unit. Zbl 1117.18005
Méhats, L.; Soloviev, S.
2
2007
Dependent event types. Zbl 06820471
Luo, Zhaohui; Soloviev, Sergei
1
2017
On isomorphism of dependent products in a typed logical framework. Zbl 1367.68077
Soloviev, Sergei
1
2015
Automorphisms of types in certain type theories and representation of finite groups. Zbl 1456.03028
Soloviev, Sergei
1
2019
A deciding algorithm for linear isomorphism of types with complexity \(O(n\log^ 2(n))\). Zbl 0884.68057
Andreev, A.; Soloviev, S.
1
1997
On categorical equivalence of Gentzen-style derivations in IMLL. Zbl 1019.03041
Soloviev, Sergei; Orevkov, Vladimir
1
2003
Weak transitivity in coercive subtyping. Zbl 1023.68017
Luo, Yong; Luo, Zhaohui; Soloviev, Sergei
1
2003
On conditions of full coherence in biclosed categories: A new application of proof theory. Zbl 0739.18002
Babaev, A. A.; Solov’ev, S. V.
1
1990
The category of finite sets and Cartesian closed categories. Zbl 0474.18003
Solov’ev, S. V.
1
1981
Dependent coercions. Zbl 0967.68047
Luo, Zhaohui; Soloviev, Sergei
1
1999
Conditionally reversible computations and weak universality in category theory. Zbl 1311.18003
Baranov, S. N.; Soloviev, S. V.
1
2014
Automorphisms of types in certain type theories and representation of finite groups. Zbl 1456.03028
Soloviev, Sergei
1
2019
Dependent event types. Zbl 06820471
Luo, Zhaohui; Soloviev, Sergei
1
2017
On isomorphism of dependent products in a typed logical framework. Zbl 1367.68077
Soloviev, Sergei
1
2015
Conditionally reversible computations and weak universality in category theory. Zbl 1311.18003
Baranov, S. N.; Soloviev, S. V.
1
2014
Coercive subtyping: theory and implementation. Zbl 1267.03042
Luo, Zhaohui; Soloviev, S.; Xue, Taoxue
5
2013
Coherence in SMCCs and equivalences on derivations in IMML with unit. Zbl 1117.18005
Méhats, L.; Soloviev, S.
2
2007
On categorical equivalence of Gentzen-style derivations in IMLL. Zbl 1019.03041
Soloviev, Sergei; Orevkov, Vladimir
1
2003
Weak transitivity in coercive subtyping. Zbl 1023.68017
Luo, Yong; Luo, Zhaohui; Soloviev, Sergei
1
2003
Coercion completion and conservativity in coercive subtyping. Zbl 1011.03017
Soloviev, Sergei; Luo, Zhaohui
4
2002
Coherence and transitivity of subtyping as entailment. Zbl 0959.03042
Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei
5
2000
Dependent coercions. Zbl 0967.68047
Luo, Zhaohui; Soloviev, Sergei
1
1999
Some algorithmic and proof-theoretical aspects of coercive subtyping. Zbl 0927.03081
Jones, Alex; Luo, Zhaohui; Soloviev, Sergei
2
1998
Proof of a conjecture of S. Mac Lane. Zbl 0895.03028
Soloviev, S.
5
1997
A deciding algorithm for linear isomorphism of types with complexity \(O(n\log^ 2(n))\). Zbl 0884.68057
Andreev, A.; Soloviev, S.
1
1997
Reductions in intuitionistic linear logic. Zbl 0847.03005
Soloviev, Sergei
2
1995
The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus. Zbl 0793.03008
Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei
8
1993
A complete axiom system for isomorphism of types in closed categories. Zbl 0797.18008
Soloviev, S.
5
1993
On the conditions of full coherence in closed categories. Zbl 0723.18008
Soloviev, S. V.
7
1990
On conditions of full coherence in biclosed categories: A new application of proof theory. Zbl 0739.18002
Babaev, A. A.; Solov’ev, S. V.
1
1990
On natural transformations of distinguished functors and their superpositions in certain closed categories. Zbl 0625.18002
Soloviev, S. V.
4
1987
The category of finite sets and Cartesian closed categories. Zbl 0509.18002
Solov’ev, S. V.
11
1983
A coherence theorem for canonical morphisms in Cartesian closed categories. Zbl 0493.03032
Babaev, A. A.; Solov’ev, S. V.
4
1982
Preservation of equivalence of derivations under reduction of depth of formulas. Zbl 0493.03031
Solov’ev, S. V.
2
1982
The category of finite sets and Cartesian closed categories. Zbl 0474.18003
Solov’ev, S. V.
1
1981
A coherence theorem for canonical maps in Cartesian closed categories. Zbl 0429.03037
Babaev, A. A.; Solov’ev, S. V.
2
1979

Citations by Year