Vladimir Zamdzhiev
Vladimir Zamdzhiev
Permanent Researcher, Inria
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Quantomatic: A proof assistant for diagrammatic reasoning
A Kissinger, V Zamdzhiev
International Conference on Automated Deduction, 326-336, 2015
782015
The ZX-calculus is incomplete for quantum mechanics
CS de Witt, V Zamdzhiev
Quantum Physics and Logic 2014, 2014
362014
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
322011
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
312009
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
182018
An abstract approach towards quantum secret sharing
VN Zamdzhiev
University of Oxford, 2012
132012
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
122019
Quantum programming with inductive datatypes: Causality and affine type theory
R Péchoux, S Perdrix, M Rennela, V Zamdzhiev
International Conference on Foundations of Software Science and Computation …, 2020
82020
Rewriting Context-free Families of String Diagrams
VN Zamdzhiev
arXiv preprint arXiv:1705.07520, 2016
42016
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
B Lindenhovius, M Mislove, V Zamdzhiev
arXiv preprint arXiv:1906.09503, 2019
32019
Equational reasoning with context-free families of string diagrams
A Kissinger, V Zamdzhiev
International Conference on Graph Transformation, 138-154, 2015
32015
A DCPO-enriched linear/non-linear model
B Lindenhovius, M Mislove, V Zamdzhiev
manuscript, 2017
22017
Commutative monads for probabilistic programming languages
X Jia, B Lindenhovius, M Mislove, V Zamdzhiev
arXiv preprint arXiv:2102.00510, 2021
12021
Quantum Programming with Inductive Datatypes
R Péchoux, S Perdrix, M Rennela, V Zamdzhiev
12020
Semantics for a Lambda Calculus for String Diagrams
B Lindenhovius, M Mislove, V Zamdzhiev
12020
!-Graphs with Trivial Overlap are Context-Free
A Kissinger, V Zamdzhiev
Graphs as Models 2015, 2015
12015
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
V Zamdzhiev, M Mislove, B Lindenhovius
Logical Methods in Computer Science 17, 2021
2021
Computational Adequacy for Substructural Lambda Calculi
V Zamdzhiev
arXiv preprint arXiv:2005.05433, 2020
2020
Semantics for first-order affine inductive data types via slice categories
V Zamdzhiev
International Workshop on Coalgebraic Methods in Computer Science, 180-200, 2020
2020
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
V Zamdzhiev
2019
The system can't perform the operation now. Try again later.
Articles 1–20