Sergei Soloviev

Publication Activity (10 Years)

Years Active: 1988-2019
Publications (10 Years): 5

Top Topics

Logical Framework

Top Venues

Math. Struct. Comput. Sci.

J. Adv. Comput. Intell. Intell. Informatics

Publications

Sergei Soloviev
Automorphisms of types in certain type theories and representation of finite groups. Math. Struct. Comput. Sci. 29 (4) (2019)
Sergei Soloviev
Studies of Hilbert's epsilon-operator in the USSR. FLAP 4 (2) (2017)
Sergei Soloviev
Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context. FLAP 4 (4) (2017)
Zhaohui Luo, Sergei Soloviev
Dependent Event Types. WoLLIC (2017)
Joe Lorkowski, Olga Kosheleva, Vladik Kreinovich, Sergei Soloviev
How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency. J. Adv. Comput. Intell. Intell. Informatics 19 (5) (2015)
Sergei Soloviev
On Isomorphism of Dependent Products in a Typed Logical Framework. TYPES (2014)
Zhaohui Luo, Sergei Soloviev, Tao Xue
Coercive subtyping: Theory and implementation. Inf. Comput. 223 (2013)
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. MODELSWARD (2013)
Ralph Matthes, Sergei Soloviev
Preface to the special issue: commutativity of algebraic diagrams. Math. Struct. Comput. Sci. 22 (6) (2012)
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed lambda-terms in categorical attributed graph transformation AMMSE (2011)
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. CEE-SET (2009)
Ralph Matthes, Sergei Soloviev
Preface to the special issue: isomorphisms of types and invertibility of lambda terms. Math. Struct. Comput. Sci. 18 (4) (2008)
Maxime Rebout, Louis Féraud, Sergei Soloviev
A Unified Categorical Approach for Attributed Graph Rewriting. CSR (2008)
L. Méhats, Sergei Soloviev
Coherence in SMCCS and equivalences on derivations in IMLL with unit. Ann. Pure Appl. Log. 147 (3) (2007)
Freiric Barral, Sergei Soloviev
Inductive Type Schemas as Functors. CSR (2006)
Sergei Soloviev
Foreword. Math. Struct. Comput. Sci. 15 (5) (2005)
Sergei Soloviev, David Chemouil
Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES (2003)
David Chemouil, Sergei Soloviev
Remarks on isomorphisms of simple inductive types. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)
Sergei Soloviev, Vladimir Orevkov
On categorical equivalence of Gentzen-style derivations in IMLL. Theor. Comput. Sci. 303 (1) (2003)
Yong Luo, Zhaohui Luo, Sergei Soloviev
Weak Transitivity in Coercive Subtyping. TYPES (2002)
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
Coherence and transitivity of subtyping as entailment. J. Log. Comput. 10 (4) (2000)
Zhaohui Luo, Sergei Soloviev
Dependent Coercions. CTCS (1999)
Sergei Soloviev
Proof of a Conjecture of S. Mac Lane. Ann. Pure Appl. Log. 90 (1-3) (1997)
Alexander E. Andreev, Sergei Soloviev
(n)). Category Theory and Computer Science (1997)
Alex P. Jones, Zhaohui Luo, Sergei Soloviev
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES (1996)
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
A Logic of Subtyping (Extended Abstract) LICS (1995)
Sergei Soloviev
Proof of a S. Mac Lane Conjecture. Category Theory and Computer Science (1995)
Sergei Soloviev
Reductions in Intuitionistic Linear Logic. Math. Struct. Comput. Sci. 5 (4) (1995)
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) LICS (1993)
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 121 (1&2) (1993)
Sergei Soloviev
A Complete Axiom System for Isomorphism of Types in Closed Categories. LPAR (1993)
A. A. Babaev, Sergei Soloviev
On conditions of full coherence in biclosed categories: a new application of proof theory. Conference on Computer Logic (1988)