The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sergei Soloviev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Freiric Barral, Sergei Soloviev
    Inductive Type Schemas as Functors. [Citation Graph (0, 0)][DBLP]
    CSR, 2006, pp:35-45 [Conf]
  3. Alexander E. Andreev, Sergei Soloviev
    A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n)). [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:197-209 [Conf]
  4. Sergei Soloviev
    Proof of a S. Mac Lane Conjecture. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1995, pp:59-80 [Conf]
  5. 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]
  6. Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
    A Logic of Subtyping (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:292-299 [Conf]
  7. Sergei Soloviev
    A Complete Axiom System for Isomorphism of Types in Closed Categories. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:360-371 [Conf]
  8. 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]
  9. Yong Luo, Zhaohui Luo, Sergei Soloviev
    Weak Transitivity in Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:220-239 [Conf]
  10. Sergei Soloviev, David Chemouil
    Some Algebraic Structures in Lambda-Calculus with Inductive Types. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:338-354 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Zhaohui Luo, Sergei Soloviev
    Dependent Coercions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  17. 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]
  18. 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]

  19. A Unified Categorical Approach for Attributed Graph Rewriting. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002