Sergei Soloviev - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Sergei Soloviev' as author, editor, or advisor:

A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log:::2:::(n))Alexander E. Andreev, Sergei Soloviev. ctcs 1997: 197-209
Social networks bot detection using Benford's lawMaksim Kalameyets, Dmitry Levshun, Sergei Soloviev, Andrey Chechulin, Igor V. Kotenko. sin 2020: [doi]
On conditions of full coherence in biclosed categories: a new application of proof theoryA. A. Babaev, Sergei Soloviev. jic 1990: 3-8
Proof of a S. Mac Lane ConjectureSergei Soloviev. ctcs 1995: 59-80
Inductive Type Schemas as FunctorsFreiric Barral, Sergei Soloviev. csr 2006: 35-45 [doi]
Preface to the special issue: commutativity of algebraic diagramsRalph Matthes, Sergei Soloviev. mscs, 22(6):901-903, 2012. [doi]
On categorical equivalence of Gentzen-style derivations in IMLLSergei Soloviev, Vladimir Orevkov. TCS, 1(303):245-260, 2003. [doi]
Coercive subtyping: Theory and implementationZhaohui Luo, Sergei Soloviev, Tao Xue. iandc, 223:18-42, 2013. [doi]
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. lics 1993: 6-14
Attribute Computations in the DPoPb Graph Transformation EngineHanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev. eceasst, 32, 2010. [doi]
A Formal Study of Boolean Games with Random Formulas as Payoff FunctionsÉrik Martin-Dorel, Sergei Soloviev. TYPES 2018: [doi]
A Logic of Subtyping (Extended Abstract)Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. lics 1995: 292-299
Dependent CoercionsZhaohui Luo, Sergei Soloviev. TCS, 29:152-168, 1999. [doi]
Coherence in smccs and equivalences on derivations in imll with unitL. Méhats, Sergei Soloviev. APAL, 147(3):127-179, 2007. [doi]
A Unified Categorical Approach for Attributed Graph RewritingMaxime Rebout, Louis Féraud, Sergei Soloviev. csr 2008: 398-409 [doi]
The Genericity Theorem and Parametricity in the Polymorphic lambda-CalculusGiuseppe Longo, Kathleen Milsted, Sergei Soloviev. TCS, 121(1&2):323-349, 1993.
Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. ProceedingsNicholas Asher, Sergei Soloviev, editors, Volume 8535 of Lecture Notes in Computer Science, Springer, 2014. [doi]
Preface to the special issue: isomorphisms of types and invertibility of lambda termsRalph Matthes, Sergei Soloviev. mscs, 18(4):645-646, 2008. [doi]
ForewordSergei Soloviev. mscs, 15(5):821-823, 2005. [doi]
A Complete Axiom System for Isomorphism of Types in Closed CategoriesSergei Soloviev. lpar 1993: 360-371
Coherence and transitivity of subtyping as entailmentGiuseppe Longo, Kathleen Milsted, Sergei Soloviev. logcom, 10(4):493-526, 2000.
Some Algorithmic and Proof-Theoretical Aspects of Coercive SubtypingAlex P. Jones, Zhaohui Luo, Sergei Soloviev. TYPES 1998: 173-195
How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel EfficiencyJoe Lorkowski, Olga Kosheleva, Vladik Kreinovich, Sergei Soloviev. jaciii, 19(5):581-584, 2015. [doi]
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO ApproachMaxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev. ifip2 2012: 150-163 [doi]
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and VerificationBertrand Boisvert, Louis Féraud, Sergei Soloviev. modelsward 2013: 62-74 [doi]
Reductions in Intuitionistic Linear LogicSergei Soloviev. mscs, 5(4):483-499, 1995.
On Isomorphism of Dependent Products in a Typed Logical FrameworkSergei Soloviev. TYPES 2015: 274-287 [doi]
Dependent Event TypesZhaohui Luo, Sergei Soloviev. wollic 2017: 216-228 [doi]
Weak Transitivity in Coercive SubtypingYong Luo, Zhaohui Luo, Sergei Soloviev. TYPES 2003: 220-239 [doi]
Reorganization of Retinotopic Maps after Occipital Lobe InfarctionLucia M. Vaina, Sergei Soloviev, Finnegan J. Calabro, Ferdinando Buonanno, Richard E. Passingham, Alan Cowey. jocn, 26(6):1266-1282, 2014. [doi]
Proof of a Conjecture of S. Mac LaneSergei Soloviev. APAL, 90(1-3):101-162, 1997.

runs on WebDSL