| 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 |
