Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vladimir Zamdzhiev
Map detail
Vladimir Zamdzhiev8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipVladimir ZamdzhievAVladimir ZamdzhievResearcherComputational Adequacy for Substructural Lambda CalculiWComputational Adequacy ...preprint / 2021Reflecting Algebraically Compact FunctorsWReflecting Algebraicall...preprint / 2020The ZX-calculus is incomplete for quantum mechanicsWThe ZX-calculus is inco...preprint / 2014Quantomatic: A Proof Assistant for Diagrammatic ReasoningWQuantomatic: A Proof As...preprint / 2015Equational reasoning with context-free families of string diagramsWEquational reasoning wi...preprint / 2015!-Graphs with Trivial Overlap are Context-FreeW!-Graphs with Trivial O...preprint / 2015Semantics for Variational Quantum ProgrammingWSemantics for Variation...preprint / 2021
Person7 links

Vladimir Zamdzhiev

Researcher