Sergei Soloviev

other persons with the same name:

• Sergei Soloviev

	2008
21		Maxime Rebout, Louis Féraud, Sergei Soloviev: A Unified Categorical Approach for Attributed Graph Rewriting. CSR 2008: 398-409
20		Ralph Matthes, Sergei Soloviev: Preface to the special issue: isomorphisms of types and invertibility of lambda terms. Mathematical Structures in Computer Science 18(4): 645-646 (2008)
	2007
19		L. Méhats, Sergei Soloviev: Coherence in smccs and equivalences on derivations in imll with unit. Ann. Pure Appl. Logic 147(3): 127-179 (2007)
	2006
18		Freiric Barral, Sergei Soloviev: Inductive Type Schemas as Functors. CSR 2006: 35-45
	2005
17		Sergei Soloviev: Foreword. Mathematical Structures in Computer Science 15(5): 821-823 (2005)
	2003
16		Sergei Soloviev, David Chemouil: Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES 2003: 338-354
15		David Chemouil, Sergei Soloviev: Remarks on isomorphisms of simple inductive types. Electr. Notes Theor. Comput. Sci. 85(7): (2003)
14		Sergei Soloviev, Vladimir Orevkov: On categorical equivalence of Gentzen-style derivations in IMLL. Theor. Comput. Sci. 1(303): 245-260 (2003)
	2002
13		Yong Luo, Zhaohui Luo, Sergei Soloviev: Weak Transitivity in Coercive Subtyping. TYPES 2002: 220-239
	2000
12		Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: Coherence and transitivity of subtyping as entailment. J. Log. Comput. 10(4): 493-526 (2000)
	1999
11		Zhaohui Luo, Sergei Soloviev: Dependent Coercions. Electr. Notes Theor. Comput. Sci. 29: (1999)
	1997
10		Alexander E. Andreev, Sergei Soloviev: A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n)). Category Theory and Computer Science 1997: 197-209
9		Sergei Soloviev: Proof of a Conjecture of S. Mac Lane. Ann. Pure Appl. Logic 90(1-3): 101-162 (1997)
	1996
8		Alex P. Jones, Zhaohui Luo, Sergei Soloviev: Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES 1996: 173-195
	1995
7		Sergei Soloviev: Proof of a S. Mac Lane Conjecture. Category Theory and Computer Science 1995: 59-80
6		Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: A Logic of Subtyping (Extended Abstract) LICS 1995: 292-299
5		Sergei Soloviev: Reductions in Intuitionistic Linear Logic. Mathematical Structures in Computer Science 5(4): 483-499 (1995)
	1993
4		Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) LICS 1993: 6-14
3		Sergei Soloviev: A Complete Axiom System for Isomorphism of Types in Closed Categories. LPAR 1993: 360-371
2		Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 121(1&2): 323-349 (1993)
	1988
1		A. A. Babaev, Sergei Soloviev: On conditions of full coherence in biclosed categories: a new application of proof theory. Conference on Computer Logic 1988: 3-8

Coauthor Index

1	Alexander E. Andreev	[10]
2	A. A. Babaev	[1]
3	Freiric Barral	[18]
4	David Chemouil	[15] [16]
5	Louis Féraud	[21]
6	Alex P. Jones	[8]
7	Giuseppe Longo	[2] [4] [6] [12]
8	Yong Luo	[13]
9	Zhaohui Luo	[8] [11] [13]
10	Ralph Matthes	[20]
11	L. Méhats	[19]
12	Kathleen Milsted	[2] [4] [6] [12]
13	Vladimir Orevkov	[14]
14	Maxime Rebout	[21]

Colors in the list of coauthors