The following pages link to Serguei V. Solov'ev (Q590478):
Displayed 30 items.
- Coherence for star-autonomous categories (Q2498908) (← links)
- Logic and logicians in Russia before 1917: living in a wider world (Q2631821) (← links)
- Algorithms for hierarchical power (Q2639783) (← links)
- (Q2751819) (← links)
- Nikolai Aleksandrovich Shanin (obituary) (Q2868459) (← links)
- On the History of Logic in Russia Before Revolution: Strategies of Academic Interaction (Q2981238) (← links)
- (Q3001105) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- Inductive Type Schemas as Functors (Q3434680) (← links)
- A Unified Categorical Approach for Attributed Graph Rewriting (Q3503658) (← links)
- (Q3772391) (← links)
- (Q3866103) (← links)
- (Q3866105) (← links)
- (Q3929914) (← links)
- (Q3974848) (← links)
- (Q4246948) (← links)
- (Q4282541) (← links)
- (Q4435472) (← links)
- (Q4499226) (← links)
- Coherence and transitivity of subtyping as entailment (Q4507489) (← links)
- (Q4558271) (← links)
- Reductions in Intuitionistic Linear Logic (Q4882488) (← links)
- Remarks on Isomorphisms of Simple Inductive Types (Q4924549) (← links)
- (Q4940722) (← links)
- (Q5277981) (← links)
- (Q5395259) (← links)
- (Q5412272) (← links)
- Types for Proofs and Programs (Q5712316) (← links)
- On phase semantics and denotational semantics: The exponentials (Q5939845) (← links)
- Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)