| 2008 |
|---|
| 21 | EE | Maxime Rebout,
Louis Féraud,
Sergei Soloviev:
A Unified Categorical Approach for Attributed Graph Rewriting.
CSR 2008: 398-409 |
| 20 | EE | 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 | EE | 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 | EE | Freiric Barral,
Sergei Soloviev:
Inductive Type Schemas as Functors.
CSR 2006: 35-45 |
| 2005 |
|---|
| 17 | EE | Sergei Soloviev:
Foreword.
Mathematical Structures in Computer Science 15(5): 821-823 (2005) |
| 2003 |
|---|
| 16 | EE | Sergei Soloviev,
David Chemouil:
Some Algebraic Structures in Lambda-Calculus with Inductive Types.
TYPES 2003: 338-354 |
| 15 | EE | David Chemouil,
Sergei Soloviev:
Remarks on isomorphisms of simple inductive types.
Electr. Notes Theor. Comput. Sci. 85(7): (2003) |
| 14 | EE | Sergei Soloviev,
Vladimir Orevkov:
On categorical equivalence of Gentzen-style derivations in IMLL.
Theor. Comput. Sci. 1(303): 245-260 (2003) |
| 2002 |
|---|
| 13 | EE | 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 | EE | 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 |
