| Publication | Date of Publication | Type |
|---|
Automorphisms of types and their applications
Journal of Mathematical Sciences (New York) | 2020-03-25 | Paper |
Logic and logicians in Russia before 1917: living in a wider world
Historia Mathematica | 2019-05-16 | Paper |
Automorphisms of types in certain type theories and representation of finite groups
Mathematical Structures in Computer Science | 2019-03-12 | Paper |
| Can mass be negative? | 2018-11-21 | Paper |
| Dependent event types | 2017-12-20 | Paper |
| scientific article; zbMATH DE number 6744295 (Why is no real title available?) | 2017-07-12 | Paper |
On the history of logic in Russia before revolution: strategies of academic interaction
Logical Investigations | 2017-05-08 | Paper |
Conditionally reversible computations and weak universality in category theory
Journal of Mathematical Sciences (New York) | 2015-02-20 | Paper |
Categorical interpretation of logical derivations and its applications in algebra
Journal of Mathematical Sciences (New York) | 2014-06-06 | Paper |
| Equality in lambda calculus. Weak universality in category theory and reversible computations | 2014-04-25 | Paper |
Obituary: Nikolai Aleksandrovich Shanin (1919--2011)
Russian Mathematical Surveys | 2013-12-17 | Paper |
Coercive subtyping: theory and implementation
Information and Computation | 2013-06-06 | Paper |
Remarks on isomorphisms of simple inductive types
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
| On varieties of closed categories and dependency of diagrams of canonical maps | 2011-05-31 | Paper |
A Unified Categorical Approach for Attributed Graph Rewriting
Computer Science – Theory and Applications | 2008-06-05 | Paper |
Coherence in SMCCs and equivalences on derivations in IMML with unit
Annals of Pure and Applied Logic | 2007-07-16 | Paper |
Inductive Type Schemas as Functors
Computer Science – Theory and Applications | 2007-05-02 | Paper |
| Non-standard reductions and categorical models in typed lambda-calculus | 2006-11-02 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2003159 (Why is no real title available?) | 2003-11-12 | Paper |
On categorical equivalence of Gentzen-style derivations in IMLL
Theoretical Computer Science | 2003-08-17 | Paper |
Coercion completion and conservativity in coercive subtyping
Annals of Pure and Applied Logic | 2003-05-29 | Paper |
| Classical multiplicative linear logic \(\simeq\) intuitionistic MLL | 2002-03-26 | Paper |
| scientific article; zbMATH DE number 1497808 (Why is no real title available?) | 2001-03-04 | Paper |
Coherence and transitivity of subtyping as entailment
Journal Of Logic And Computation | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 1406806 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1301735 (Why is no real title available?) | 1999-12-13 | Paper |
Natural transformations of the superpositions of distinguished functors in certain closed categories
Journal of Soviet Mathematics | 1998-11-02 | Paper |
Proof of a conjecture of S. Mac Lane
Annals of Pure and Applied Logic | 1998-09-02 | Paper |
Reductions in Intuitionistic Linear Logic
Mathematical Structures in Computer Science | 1996-07-15 | Paper |
| scientific article; zbMATH DE number 517016 (Why is no real title available?) | 1994-04-17 | Paper |
The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
Theoretical Computer Science | 1994-03-03 | Paper |
| scientific article; zbMATH DE number 17524 (Why is no real title available?) | 1992-06-26 | Paper |
On the conditions of full coherence in closed categories
Journal of Pure and Applied Algebra | 1990-01-01 | Paper |
On natural transformations of distinguished functors and their superpositions in certain closed categories
Journal of Pure and Applied Algebra | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031935 (Why is no real title available?) | 1987-01-01 | Paper |
The category of finite sets and Cartesian closed categories
Journal of Soviet Mathematics | 1983-01-01 | Paper |
Preservation of equivalence of derivations under reduction of depth of formulas
Journal of Soviet Mathematics | 1982-01-01 | Paper |
Growth of length of sequential derivation transformed into natural one
Journal of Soviet Mathematics | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3743499 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3668593 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3668595 (Why is no real title available?) | 1979-01-01 | Paper |
