The following pages link to Vladimir Zamdzhiev (Q2200847):
Displayed 18 items.
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Semantics for first-order affine inductive data types via slice categories (Q2229237) (← links)
- Equational Reasoning with Context-Free Families of String Diagrams (Q2947216) (← links)
- (Q3185224) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- (Q4989404) (← links)
- The ZX-calculus is incomplete for quantum mechanics (Q4997300) (← links)
- (Q5018498) (← links)
- (Q5019687) (← links)
- (Q5020949) (← links)
- Enriching a Linear/Non-linear Lambda Calculus (Q5145342) (← links)
- (Q6083352) (← links)
- !-Graphs with Trivial Overlap are Context-Free (Q6258417) (← links)
- LNL-FPC: The Linear/Non-linear Fixpoint Calculus (Q6320900) (← links)
- Reflecting Algebraically Compact Functors (Q6320919) (← links)
- Commutative Monads for Probabilistic Programming Languages (Q6359486) (← links)
- Semantics for Variational Quantum Programming (Q6373940) (← links)
- Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages (Q6405436) (← links)