Vladimir Zamdzhiev

ISFP researcher at Inria Saclay.
25
Documents
Affiliation actuelle
  • Quantum Computation Structures (QuaCS)

Présentation

Publications

Publications

Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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