Vladimir Zamdzhiev

Available identifiers

Publication	Date of Publication	Type
Quantum expectation transformers for cost analysis	2024-12-06	Paper
Semantics for a lambda calculus for string diagrams	2024-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q6083352	2023-12-08	Paper
Type-safe quantum programming in Idris	2023-11-24	Paper
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages	2022-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q5019687	2022-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5020949	2022-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q5018498	2021-12-20	Paper
Semantics for Variational Quantum Programming	2021-07-28	Paper
The ZX-calculus is incomplete for quantum mechanics	2021-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4989404	2021-05-25	Paper
Semantics for first-order affine inductive data types via slice categories	2021-02-22	Paper
Commutative Monads for Probabilistic Programming Languages	2021-01-31	Paper
Enriching a Linear/Non-linear Lambda Calculus	2021-01-20	Paper
Quantum programming with inductive datatypes: causality and affine type theory	2020-09-23	Paper
Reflecting Algebraically Compact Functors	2019-06-23	Paper
LNL-FPC: The Linear/Non-linear Fixpoint Calculus	2019-06-22	Paper
Quantomatic: A Proof Assistant for Diagrammatic Reasoning	2015-12-02	Paper
Equational Reasoning with Context-Free Families of String Diagrams	2015-09-22	Paper
!-Graphs with Trivial Overlap are Context-Free	2015-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q3185224	2009-10-26	Paper

This page was built for person: Vladimir Zamdzhiev