Vladimir Zamdzhiev
Vladimir Zamdzhiev
Université de Lorraine, CNRS, Inria, LORIA
Verified email at loria.fr - Homepage
TitleCited byYear
Quantomatic: A proof assistant for diagrammatic reasoning
A Kissinger, V Zamdzhiev
International Conference on Automated Deduction, 326-336, 2015
522015
The ZX-calculus is incomplete for quantum mechanics
CS de Witt, V Zamdzhiev
Quantum Physics and Logic 2014, 2014
312014
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
292009
Quantomatic
A Kissinger, A Merry, L Dixon, R Duncan, M Soloviev, B Frot, D Quick, ...
Software available on-line at http://sites. google. com/site/quantomatic, 2011
262011
An abstract approach towards quantum secret sharing
VN Zamdzhiev
University of Oxford, 2012
122012
Enriching a linear/non-linear lambda calculus: A programming language for string diagrams
B Lindenhovius, M Mislove, V Zamdzhiev
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
92018
Rewriting Context-free Families of String Diagrams
VN Zamdzhiev
arXiv preprint arXiv:1705.07520, 2016
32016
Equational reasoning with context-free families of string diagrams
A Kissinger, V Zamdzhiev
International Conference on Graph Transformation, 138-154, 2015
32015
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
22019
A DCPO-enriched linear/non-linear model
B Lindenhovius, M Mislove, V Zamdzhiev
manuscript, 2017
22017
!-Graphs with Trivial Overlap are Context-Free
A Kissinger, V Zamdzhiev
Graphs as Models 2015, 2015
12015
Reflecting Algebraically Compact Functors
V Zamdzhiev
arXiv preprint arXiv:1906.09649, 2019
2019
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
R Péchoux, S Perdrix, M Rennela, V Zamdzhiev
2019
Inductive Datatypes for Quantum Programming
R Péchoux, S Perdrix, M Rennela, V Zamdzhiev
2019
A Framework for Rewriting Families of String Diagrams
V Zamdzhiev
TERMGRAPH 2018, 2019
2019
Enriching a Linear/Non-linear Lambda Calculus
B Lindenhovius, M Mislove, V Zamdzhiev
2018
The ZX-calculus is incomplete for quantum mechanics
C Schröder de Witt, V Zamdzhiev
arXiv preprint arXiv:1404.3633, 2014
2014
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory (Draft)
R PÉCHOUX, S PERDRIX, M RENNELA, V ZAMDZHIEV
Categorical Semantics for Mixed Linear/Non-linear Recursive Types
B Lindenhovius, M Mislove, V Zamdzhiev
The system can't perform the operation now. Try again later.
Articles 1–19