The ZX calculus is incomplete for quantum mechanics. - Christian Schröder de Witt; Vladimir Zamdzhiev (QPL, 2014)

Quantomatic: A Proof Assistant for Diagrammatic Reasoning. - Aleks Kissinger; Vladimir Zamdzhiev (CADE, 2015)

Equational Reasoning with Context-Free Families of String Diagrams. - Aleks Kissinger; Vladimir Zamdzhiev (ICGT, 2015)

!-graphs with trivial overlap are context-free. - Aleks Kissinger; Vladimir Zamdzhiev (GaM, 2015)

Rewriting context-free families of string diagrams. - Vladimir Nikolaev Zamdzhiev (2016)

Rewriting Context-free Families of String Diagrams. - Vladimir Nikolaev Zamdzhiev (CoRR, 2017)

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (LICS, 2018)

A Framework for Rewriting Families of String Diagrams. - Vladimir Zamdzhiev (TERMGRAPH@FSCD, 2018)

Reflecting Algebraically Compact Functors. - Vladimir Zamdzhiev (ACT, 2019)

Mixed linear and non-linear recursive types. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Proc. ACM Program. Lang., 2019)

Semantics for First-Order Affine Inductive Data Types via Slice Categories. - Vladimir Zamdzhiev (CMCS, 2020)

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. - Romain Péchoux; Simon Perdrix; Mathys Rennela; Vladimir Zamdzhiev (FoSSaCS, 2020)

Computational Adequacy for Substructural Lambda Calculi. - Vladimir Zamdzhiev (ACT, 2020)

The Central Valuations Monad (Early Ideas). - Xiaodong Jia 002; Michael W. Mislove; Vladimir Zamdzhiev (CALCO, 2021)

Commutative Monads for Probabilistic Programming Languages. - Xiaodong Jia 002; Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (LICS, 2021)

Qimaera: Type-safe (Variational) Quantum Programming in Idris. - Liliane-Joy Dandy; Emmanuel Jeandel; Vladimir Zamdzhiev (CoRR, 2021)

The Central Valuations Monad. - Xiaodong Jia 002; Michael W. Mislove; Vladimir Zamdzhiev (CoRR, 2021)

LNL-FPC: The Linear/Non-linear Fixpoint Calculus. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Log. Methods Comput. Sci., 2021)

Quantum Expectation Transformers for Cost Analysis. - Martin Avanzini; Georg Moser; Romain Péchoux; Simon Perdrix; Vladimir Zamdzhiev (LICS, 2022)

Central Submonads and Notions of Computation. - Titouan Carette; Louis Lemonnier; Vladimir Zamdzhiev (CoRR, 2022)

Semantics for variational Quantum programming. - Xiaodong Jia 002; Andre Kornell; Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Proc. ACM Program. Lang., 2022)

Type-safe Quantum Programming in Idris. - Liliane-Joy Dandy; Emmanuel Jeandel; Vladimir Zamdzhiev (ESOP, 2023)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. - Titouan Carette; Louis Lemonnier; Vladimir Zamdzhiev (LICS, 2023)

The Category of Operator Spaces and Complete Contractions. - Bert Lindenhovius; Vladimir Zamdzhiev (CoRR, 2024)

Combining quantum and classical control: syntax, semantics and adequacy. - Kinnari Dave; Louis Lemonnier; Romain Péchoux; Vladimir Zamdzhiev (FoSSaCS, 2025)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory. - Bert Lindenhovius; Vladimir Zamdzhiev (CoRR, 2025)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. - Kinnari Dave; Alejandro Díaz-Caro; Vladimir Zamdzhiev (CoRR, 2025)