Vladimir Zamdzhiev

According to our database, Vladimir Zamdzhiev authored at least 23 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.

Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Type-safe Quantum Programming in Idris.

Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

Proceedings of the Programming Languages and Systems, 2023

2022

Semantics for variational Quantum programming.

Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Proc. ACM Program. Lang., 2022

Central Submonads and Notions of Computation.

Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

CoRR, 2022

Quantum Expectation Transformers for Cost Analysis.

Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

LNL-FPC: The Linear/Non-linear Fixpoint Calculus.

Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Log. Methods Comput. Sci., 2021

The Central Valuations Monad.

Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev

CoRR, 2021

Qimaera: Type-safe (Variational) Quantum Programming in Idris.

Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

CoRR, 2021

Commutative Monads for Probabilistic Programming Languages.

Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

The Central Valuations Monad (Early Ideas).

Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Computational Adequacy for Substructural Lambda Calculi.

Vladimir Zamdzhiev

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Semantics for First-Order Affine Inductive Data Types via Slice Categories.

Vladimir Zamdzhiev

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

Mixed linear and non-linear recursive types.

Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Proc. ACM Program. Lang., 2019

Reflecting Algebraically Compact Functors.

Vladimir Zamdzhiev

Proceedings of the Proceedings Applied Category Theory 2019, 2019

2018

A Framework for Rewriting Families of String Diagrams.

Vladimir Zamdzhiev

Proceedings of the Proceedings Tenth International Workshop on Computing with Terms and Graphs, 2018

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.

Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Rewriting Context-free Families of String Diagrams.

Vladimir Nikolaev Zamdzhiev

CoRR, 2017

2016

Rewriting context-free families of string diagrams.

Vladimir Nikolaev Zamdzhiev

PhD thesis, 2016

2015

!-graphs with trivial overlap are context-free.

Aleks Kissinger, Vladimir Zamdzhiev

Proceedings of the Proceedings Graphs as Models, 2015

Equational Reasoning with Context-Free Families of String Diagrams.

Aleks Kissinger, Vladimir Zamdzhiev

Proceedings of the Graph Transformation - 8th International Conference, 2015

Quantomatic: A Proof Assistant for Diagrammatic Reasoning.

Aleks Kissinger, Vladimir Zamdzhiev

Proceedings of the Automated Deduction - CADE-25, 2015

2014

The ZX calculus is incomplete for quantum mechanics.

Christian Schröder de Witt, Vladimir Zamdzhiev

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014