The SCEAS System
| |||||||

## Search the dblp DataBase
Sergei Soloviev:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- A. A. Babaev, Sergei Soloviev
**On conditions of full coherence in biclosed categories: a new application of proof theory.**[Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:3-8 [Conf] - Freiric Barral, Sergei Soloviev
**Inductive Type Schemas as Functors.**[Citation Graph (0, 0)][DBLP] CSR, 2006, pp:35-45 [Conf] - Alexander E. Andreev, Sergei Soloviev
**A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log**[Citation Graph (0, 0)][DBLP]^{2}(n)). Category Theory and Computer Science, 1997, pp:197-209 [Conf] - Sergei Soloviev
**Proof of a S. Mac Lane Conjecture.**[Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1995, pp:59-80 [Conf] - Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
**The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)**[Citation Graph (0, 0)][DBLP] LICS, 1993, pp:6-14 [Conf] - Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
**A Logic of Subtyping (Extended Abstract)**[Citation Graph (0, 0)][DBLP] LICS, 1995, pp:292-299 [Conf] - Sergei Soloviev
**A Complete Axiom System for Isomorphism of Types in Closed Categories.**[Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:360-371 [Conf] - Alex P. Jones, Zhaohui Luo, Sergei Soloviev
**Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping.**[Citation Graph (0, 0)][DBLP] TYPES, 1996, pp:173-195 [Conf] - Yong Luo, Zhaohui Luo, Sergei Soloviev
**Weak Transitivity in Coercive Subtyping.**[Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:220-239 [Conf] - Sergei Soloviev, David Chemouil
**Some Algebraic Structures in Lambda-Calculus with Inductive Types.**[Citation Graph (0, 0)][DBLP] TYPES, 2003, pp:338-354 [Conf] - Sergei Soloviev
**Proof of a Conjecture of S. Mac Lane.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:90, n:1-3, pp:101-162 [Journal] - David Chemouil, Sergei Soloviev
**Remarks on isomorphisms of simple inductive types.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal] - Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
**Coherence and transitivity of subtyping as entailment.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:4, pp:493-526 [Journal] - Sergei Soloviev
**Reductions in Intuitionistic Linear Logic.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:4, pp:483-499 [Journal] - Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
**The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:121, n:1&2, pp:323-349 [Journal] - Zhaohui Luo, Sergei Soloviev
**Dependent Coercions.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal] - Sergei Soloviev, Vladimir Orevkov
**On categorical equivalence of Gentzen-style derivations in IMLL.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:1, n:303, pp:245-260 [Journal] - L. Méhats, Sergei Soloviev
**Coherence in smccs and equivalences on derivations in imll with unit.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2007, v:147, n:3, pp:127-179 [Journal] **A Unified Categorical Approach for Attributed Graph Rewriting.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |