Vladimir Zamdzhiev

23
Documents
Affiliation actuelle
  • Quantum Computation Structures (QuaCS)

Présentation

Publications

Publications

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
Communication dans un congrès hal-05209450 v1

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-05209412 v1
Image document

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-05093249 v1
Image document

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-03519238 v1
Image document

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-03662565 v4

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-03519235 v1
Image document

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-03540366 v1

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-03519225 v1
Image document

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-03258065 v3

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-03018418 v1

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-03018433 v1

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-02995410 v1

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-03018473 v1

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-03018447 v1

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-03018484 v1

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-03018477 v1

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-05249986 v1

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-04736872 v1

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-04480804 v1