The following pages link to Serguei V. Solov'ev (Q590478):
Displaying 50 items.
- (Q234732) (redirect page) (← links)
- (Q579397) (redirect page) (← links)
- (Q588333) (redirect page) (← links)
- (Q1115415) (redirect page) (← links)
- (Q1377605) (redirect page) (← links)
- Glivenko sequent classes in the light of structural proof theory (Q283115) (← links)
- On cyclic star-autonomous categories (Q456839) (← links)
- Intercategories: a framework for three-dimensional category theory (Q502617) (← links)
- Barr's embedding theorem for enriched categories (Q538061) (← links)
- On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398) (← links)
- Duals invert (Q633805) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- A presentation of the initial lift-algebra (Q678845) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- A logic for category theory (Q685421) (← links)
- On the conditions of full coherence in closed categories (Q757581) (← links)
- The structure of free closed categories (Q803265) (← links)
- Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid (Q803268) (← links)
- Cause as an implication (Q1115416) (← links)
- ``Pathologies'' in two syntactic categories of partial maps (Q1115866) (← links)
- Mathematics of totalities: An alternative to mathematics of sets (Q1117207) (← links)
- The importance of open and recursive circumscription (Q1117210) (← links)
- A constructivism based on classical truth (Q1117222) (← links)
- Cartesian closedness in categories of relational systems (Q1123254) (← links)
- Strong normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction (Q1130232) (← links)
- (Q1168317) (redirect page) (← links)
- Preservation of equivalence of derivations under reduction of depth of formulas (Q1168318) (← links)
- Growth of length of sequential derivation transformed into natural one (Q1168320) (← links)
- The logic of structures (Q1196790) (← links)
- Categories of embeddings (Q1263665) (← links)
- Normal deduction in the intuitionistic linear logic (Q1267849) (← links)
- Natural transformations of the superpositions of distinguished functors in certain closed categories (Q1270459) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Coherence completions of categories (Q1575878) (← links)
- Linear lambda-terms and natural deduction (Q1577345) (← links)
- Generalized stochastic duration in Markovian Heath-Jarrow-Morton framework (Q1599851) (← links)
- Dependent event types (Q1685927) (← links)
- Definable categories (Q1689577) (← links)
- How strict is strictification? (Q1730856) (← links)
- Cut elimination in categories (Q1817695) (← links)
- The category of finite sets and Cartesian closed categories (Q1838563) (← links)
- Contingent claims on assets with conversion costs. (Q1873082) (← links)
- Recursive data types in algebraically \(\omega\)-complete categories (Q1892884) (← links)
- Categorial generalization of algebraic recursion theory (Q1898417) (← links)
- Logical quantizations of first-order structures (Q1915367) (← links)
- Empirical quantum mechanics (Q1919234) (← links)
- Coercive subtyping: theory and implementation (Q1951591) (← links)
- Conditionally reversible computations and weak universality in category theory (Q2256643) (← links)
- Automorphisms of types and their applications (Q2307975) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
