Vladimir Zamdzhiev

41 papers A* 5A 2B 6Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2026 B conf
Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach.
FoSSaCS
Thea Li, Vladimir Zamdzhiev
2026 J jnl
Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach.
CoRR
Thea Li, Vladimir Zamdzhiev
2025 J jnl
A programming language combining quantum and classical control.
CoRR
Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev
2025 B conf
Combining quantum and classical control: syntax, semantics and adequacy.
FoSSaCS
Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev
2025 B conf
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation.
APLAS
Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
2025 J jnl
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation.
CoRR
Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
2025 A* conf
Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory.
LICS
Bert Lindenhovius, Vladimir Zamdzhiev
2025 J jnl
Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory.
CoRR
Bert Lindenhovius, Vladimir Zamdzhiev
2024 — ed.
Proceedings of the 21st International Conference on Quantum Physics and Logic, QPL 2024, Buenos Aires, Argentina, July 15-19, 2024.
QPL
Alejandro Díaz-Caro, Vladimir Zamdzhiev
2024 J jnl
The Category of Operator Spaces and Complete Contractions.
CoRR
Bert Lindenhovius, Vladimir Zamdzhiev
2023 A* conf
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.
LICS
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
2023 — ed.
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023.
QPL
Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev
2023 A conf
Type-safe Quantum Programming in Idris.
ESOP
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
2022 J jnl
Central Submonads and Notions of Computation.
CoRR
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
2022 A* conf
Quantum Expectation Transformers for Cost Analysis.
LICS
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
2022 J jnl
Quantum Expectation Transformers for Cost Analysis.
CoRR
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
2022 J jnl
Semantics for variational Quantum programming.
Proc. ACM Program. Lang.
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 A* conf
Commutative Monads for Probabilistic Programming Languages.
LICS
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
Commutative Monads for Probabilistic Programming Languages.
CoRR
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
LNL-FPC: The Linear/Non-linear Fixpoint Calculus.
Log. Methods Comput. Sci.
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
Qimaera: Type-safe (Variational) Quantum Programming in Idris.
CoRR
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
2021 J jnl
Semantics for Variational Quantum Programming.
CoRR
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 B conf
The Central Valuations Monad (Early Ideas).
CALCO
Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
The Central Valuations Monad.
CoRR
Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
2020 — conf
Computational Adequacy for Substructural Lambda Calculi.
ACT
Vladimir Zamdzhiev
2020 B conf
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
FoSSaCS
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
2020 — conf
Semantics for First-Order Affine Inductive Data Types via Slice Categories.
CMCS
Vladimir Zamdzhiev
2020 J jnl
Semantics for first-order affine inductive data types via slice categories.
CoRR
Vladimir Zamdzhiev
2019 J jnl
Mixed Linear and Non-linear Recursive Types.
CoRR
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2019 J jnl
Mixed linear and non-linear recursive types.
Proc. ACM Program. Lang.
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2019 J jnl
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
CoRR
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
2019 — conf
Reflecting Algebraically Compact Functors.
ACT
Vladimir Zamdzhiev
2018 — conf
A Framework for Rewriting Families of String Diagrams.
TERMGRAPH@FSCD
Vladimir Zamdzhiev
2018 A* conf
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.
LICS
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2018 J jnl
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.
CoRR
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2015 — conf
!-graphs with trivial overlap are context-free.
GaM
Aleks Kissinger, Vladimir Zamdzhiev
2015 B conf
Equational Reasoning with Context-Free Families of String Diagrams.
ICGT
Aleks Kissinger, Vladimir Zamdzhiev
2015 J jnl
Equational reasoning with context-free families of string diagrams.
CoRR
Aleks Kissinger, Vladimir Zamdzhiev
2015 A conf
Quantomatic: A Proof Assistant for Diagrammatic Reasoning.
CADE
Aleks Kissinger, Vladimir Zamdzhiev
2015 J jnl
Quantomatic: A proof assistant for diagrammatic reasoning.
CoRR
Aleks Kissinger, Vladimir Zamdzhiev
2014 — conf
The ZX calculus is incomplete for quantum mechanics.
QPL
Christian Schröder de Witt, Vladimir Zamdzhiev