Vladimir Zamdzhiev ISFP researcher at Inria Saclay.

Identifiants chercheurs

IdHAL :

vladimir-zamdzhiev

ORCID :

0000-0002-9061-3921

arXiv :

zamdzhiev_v_1

Présentation

https://zamdzhiev.github.io/

Publications

Communication dans un congrès (17)

Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach Thea Li,Vladimir Zamdzhiev FOSSACS 2026 - International Conference on Foundations of Software Science and Computational Structures, Apr 2026, Turin, Italy Communication dans un congrès hal-05456935v1
Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory Bert Lindenhovius,Vladimir Zamdzhiev LICS 2025 - 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2025, Singapore, Singapore Communication dans un congrès hal-05209412v1
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation Kinnari Dave,Alejandro Díaz-Caro,Vladimir Zamdzhiev APLAS 2025 - 23rd Asian Symposium on Programming Languages and Systems, Oct 2025, Bengaluru, India. pp.131-160, ⟨10.1007/978-981-95-3585-9_7⟩ Communication dans un congrès hal-05209450v1
Combining quantum and classical control: syntax, semantics and adequacy Kinnari Dave,Louis Lemonnier,Romain Péchoux,Vladimir Zamdzhiev FoSSaCS 2025 - 28th International Conference on Foundations of Software Science and Computation Structures, May 2025, Hamilton, Canada. pp.155-175, ⟨10.1007/978-3-031-90897-2_8⟩ Communication dans un congrès hal-05093249v1
Type-safe Quantum Programming in Idris Liliane-Joy Dandy,Emmanuel Jeandel,Vladimir Zamdzhiev ESOP 2023 - European Symposium on Programming, Apr 2023, Paris, France. pp.507-534, ⟨10.1007/978-3-031-30044-8_19⟩ Communication dans un congrès hal-03519238v1
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages Titouan Carette,Louis Lemonnier,Vladimir Zamdzhiev 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston (MA), United States. ⟨10.1109/LICS56636.2023.10175687⟩ Communication dans un congrès hal-03662565v4
Semantics for Variational Quantum Programming Xiaodong Jia,Andre Kornell,Bert Lindenhovius,Michael Mislove,Vladimir Zamdzhiev POPL 2022 - 49th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩ Communication dans un congrès hal-03519235v1
Quantum Expectation Transformers for Cost Analysis Martin Avanzini,Georg Moser,Romain Péchoux,Simon Perdrix,Vladimir Zamdzhiev Symposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel Communication dans un congrès hal-03540366v1
Commutative Monads for Probabilistic Programming Languages Xiaodong Jia,Bert Lindenhovius,Michael Mislove,Vladimir Zamdzhiev LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470611⟩ Communication dans un congrès hal-03519225v1
The Central Valuations Monad Xiaodong Jia,Michael Mislove,Vladimir Zamdzhiev CALCO 2021 - 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 2021, Salzburg, Austria. ⟨10.4230/LIPIcs.CALCO.2021.18⟩ Communication dans un congrès hal-03258065v3
Semantics for First-Order Affine Inductive Data Types via Slice Categories Vladimir Zamdzhiev International Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩ Communication dans un congrès hal-03018418v1
Computational Adequacy for Substructural Lambda Calculi Vladimir Zamdzhiev Applied Category Theory 2020, Jul 2020, Virtual, United States. ⟨10.4204/EPTCS.333.22⟩ Communication dans un congrès hal-03018433v1
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory Romain Péchoux,Simon Perdrix,Mathys Rennela,Vladimir Zamdzhiev International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. pp.562-581, ⟨10.1007/978-3-030-45231-5_29⟩ Communication dans un congrès hal-02995410v1
Reflecting Algebraically Compact Functors Vladimir Zamdzhiev Applied Category Theory 2019, Jul 2019, Oxford, United Kingdom. ⟨10.4204/EPTCS.323.2⟩ Communication dans un congrès hal-03018473v1
Mixed linear and non-linear recursive types Bert Lindenhovius,Michael Mislove,Vladimir Zamdzhiev International Conference on Functional Programming, Aug 2019, Berlin, Germany. ⟨10.1145/3341715⟩ Communication dans un congrès hal-03018447v1
A Framework for Rewriting Families of String Diagrams Vladimir Zamdzhiev International Workshop on Computing with Terms and Graphs, Jul 2018, Oxford, United Kingdom. ⟨10.4204/EPTCS.288.6⟩ Communication dans un congrès hal-03018484v1
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams Bert Lindenhovius,Michael Mislove,Vladimir Zamdzhiev Logic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209196⟩ Communication dans un congrès hal-03018477v1

Pré-publication, Document de travail (4)

A programming language combining quantum and classical control Kinnari Dave,Louis Lemonnier,Romain Péchoux,Vladimir Zamdzhiev 2026 Pré-publication, Document de travail hal-05457001v1
The Category of Operator Spaces and Complete Contractions Bert Lindenhovius,Vladimir Zamdzhiev 2025 Pré-publication, Document de travail hal-04880599v1
Quantum Programming with Inductive Datatypes Romain Péchoux,Simon Perdrix,Mathys Rennela,Vladimir Zamdzhiev 2020 Pré-publication, Document de travail hal-03018513v1
Semantics for a Lambda Calculus for String Diagrams Bert Lindenhovius,Michael Mislove,Vladimir Zamdzhiev 2020 Pré-publication, Document de travail hal-03018467v1

Proceedings/Recueil des communications (3)

Proceedings of QPL 2024 Alejandro Díaz-Caro,Vladimir Zamdzhiev 21st International Conference on Quantum Physics and Logic, Jul 2024, Buenos Aires, Argentina. Electronic Proceedings in Theoretical Computer Science, 406, 2024, ⟨10.4204/EPTCS.406⟩ Proceedings/Recueil des communications hal-05249986v1
Proceedings of the 21st International Conference on Quantum Physics and Logic Alejandro Díaz-Caro,Vladimir Zamdzhiev Quantum Physics and Logic 2024, Jul 2024, Buenos Aires, Argentina. Electronic Proceedings in Theoretical Computer Science, 406, 2024, ⟨10.4204/EPTCS.406⟩ Proceedings/Recueil des communications hal-04736872v1
Proceedings 20th International Conference on Quantum Physics and Logic Shane Mansfield,Benoît Valiron,Vladimir Zamdzhiev QPL 2023 - Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, 384, 2023, ⟨10.4204/EPTCS.384⟩ Proceedings/Recueil des communications hal-04480804v1

Article dans une revue (1)

LNL-FPC: The Linear/Non-linear Fixpoint Calculus Bert Lindenhovius,Michael Mislove,Vladimir Zamdzhiev Logical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(2:9)2021⟩ Article dans une revue hal-03018454v1