Follow
Vladimir Zamdzhiev
Title
Cited by
Cited by
Year
Quantomatic: A proof assistant for diagrammatic reasoning
A Kissinger, V Zamdzhiev
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
1012015
The ZX-calculus is incomplete for quantum mechanics
CS de Witt, V Zamdzhiev
Quantum Physics and Logic 2014, 2014
432014
MathML-aware article conversion from LATEX
H Stamerjohanns, D Ginev, C David, D Misev, V Zamdzhiev, M Kohlhase
Towards a Digital Mathematics Library. Grand Bend, Ontario, Canada, July 8 …, 2009
342009
Quantomatic
A Kissinger, A Merry, B Frot, B Coecke, D Quick, L Dixon, M Soloviev, ...
Software available on-line at http://sites. google. com/site/quantomatic, 2011
322011
Enriching a linear/non-linear lambda calculus: A programming language for string diagrams
B Lindenhovius, M Mislove, V Zamdzhiev
Logic in Computer Science 2018, 2018
302018
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
R Péchoux, S Perdrix, M Rennela, V Zamdzhiev
FoSSaCS, 562-581, 2020
232020
Commutative Monads for Probabilistic Programming Languages
X Jia, B Lindenhovius, M Mislove, V Zamdzhiev
Logic in Computer Science 2021, 2021
192021
Mixed Linear and Non-linear Recursive Types
B Lindenhovius, M Mislove, V Zamdzhiev
Proceedings of the ACM on Programming Languages 3 (ICFP), 111:1--111:29, 2019
192019
An abstract approach towards quantum secret sharing
VN Zamdzhiev
University of Oxford, 2012
132012
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
B Lindenhovius, M Mislove, V Zamdzhiev
Logical Methods in Computer Science 17, 2021
92021
Semantics for variational Quantum programming
X Jia, A Kornell, B Lindenhovius, M Mislove, V Zamdzhiev
Proceedings of the ACM on Programming Languages 6 (POPL), 2022
82022
Rewriting Context-free Families of String Diagrams
VN Zamdzhiev
arXiv preprint arXiv:1705.07520, 2016
72016
Equational reasoning with context-free families of string diagrams
A Kissinger, V Zamdzhiev
Graph Transformation: 8th International Conference, ICGT 2015, Held as Part …, 2015
52015
Central submonads and notions of computation: Soundness, completeness and internal languages
T Carette, L Lemonnier, V Zamdzhiev
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
42023
Quantum Expectation Transformers for Cost Analysis
M Avanzini, G Moser, R Péchoux, S Perdrix, V Zamdzhiev
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
42022
Quantum Programming with Inductive Datatypes
R Péchoux, S Perdrix, M Rennela, V Zamdzhiev
32020
Semantics for a Lambda Calculus for String Diagrams
B Lindenhovius, M Mislove, V Zamdzhiev
Samson Abramsky on Logic and Structure in Computer Science and Beyond, 973-1003, 2023
22023
The Central Valuations Monad
X Jia, M Mislove, V Zamdzhiev
arXiv preprint arXiv:2111.10873, 2021
22021
A DCPO-enriched linear/non-linear model
B Lindenhovius, M Mislove, V Zamdzhiev
manuscript, 2017
22017
Quantum computing: The good, the bad, and the (not so) ugly
V Zamdzhiev
Invited talk, Tulane University, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20