Serguei V. Solov'ev

Available identifiers

zbMath Open soloviev.sergei-vladimirovichMaRDI QIDQ590478

List of research outcomes

Publication	Date of Publication	Type
Automorphisms of types and their applications	2020-03-25	Paper
Logic and logicians in Russia before 1917: living in a wider world	2019-05-16	Paper
Automorphisms of types in certain type theories and representation of finite groups	2019-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4558271	2018-11-21	Paper
Dependent event types	2017-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5277981	2017-07-12	Paper
On the History of Logic in Russia Before Revolution: Strategies of Academic Interaction	2017-05-08	Paper
Conditionally reversible computations and weak universality in category theory	2015-02-20	Paper
Categorical interpretation of logical derivations and its applications in algebra	2014-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q5412272	2014-04-25	Paper
Nikolai Aleksandrovich Shanin (obituary)	2013-12-17	Paper
Coercive subtyping: theory and implementation	2013-06-06	Paper
Remarks on Isomorphisms of Simple Inductive Types	2013-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q3001105	2011-05-31	Paper
A Unified Categorical Approach for Attributed Graph Rewriting	2008-06-05	Paper
Coherence in SMCCs and equivalences on derivations in IMML with unit	2007-07-16	Paper
Inductive Type Schemas as Functors	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q5395259	2006-11-02	Paper
Types for Proofs and Programs	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4435472	2003-11-12	Paper
On categorical equivalence of Gentzen-style derivations in IMLL	2003-08-17	Paper
Coercion completion and conservativity in coercive subtyping	2003-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q2751819	2002-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4499226	2001-03-04	Paper
Coherence and transitivity of subtyping as entailment	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4940722	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4246948	1999-12-13	Paper
Natural transformations of the superpositions of distinguished functors in certain closed categories	1998-11-02	Paper
Proof of a conjecture of S. Mac Lane	1998-09-02	Paper
Reductions in Intuitionistic Linear Logic	1996-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4282541	1994-04-17	Paper
The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus	1994-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q3974848	1992-06-26	Paper
On the conditions of full coherence in closed categories	1990-01-01	Paper
On natural transformations of distinguished functors and their superpositions in certain closed categories	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3772391	1987-01-01	Paper
The category of finite sets and Cartesian closed categories	1983-01-01	Paper
Preservation of equivalence of derivations under reduction of depth of formulas	1982-01-01	Paper
Growth of length of sequential derivation transformed into natural one	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3929914	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866103	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866105	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Serguei V. Solov'ev