Vladimir Zamdzhiev
23
Documents
Affiliation actuelle
- Quantum Computation Structures (QuaCS)
Identifiants chercheurs
Présentation
Publications
Publications
|
|
IMALL with a Mixed-State Modality: A Logical Approach to Quantum ComputationAPLAS 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 TheoryLICS 2025 - 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2025, Singapore, Singapore
Communication dans un congrès
hal-05209412
v1
|
|
|
Combining quantum and classical control: syntax, semantics and adequacyFoSSaCS 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
|
|
|
Type-safe Quantum Programming in IdrisESOP 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
|
|
|
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages2023 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 ProgrammingPOPL 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
|
|
|
Quantum Expectation Transformers for Cost AnalysisSymposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03540366
v1
|
|
|
Commutative Monads for Probabilistic Programming LanguagesLICS 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
|
|
|
The Central Valuations MonadCALCO 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 CategoriesInternational 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 CalculiApplied 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 TheoryInternational 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 FunctorsApplied 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 typesInternational 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 DiagramsInternational 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 DiagramsLogic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209196⟩
Communication dans un congrès
hal-03018477
v1
|
|
|
The Category of Operator Spaces and Complete Contractions2025
Pré-publication, Document de travail
hal-04880599
v1
|
|
|
Quantum Programming with Inductive Datatypes2020
Pré-publication, Document de travail
hal-03018513
v1
|
|
|
Semantics for a Lambda Calculus for String Diagrams2020
Pré-publication, Document de travail
hal-03018467
v1
|
|
|
Proceedings of QPL 202421st 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 LogicQuantum 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 LogicQPL 2023 - Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, 384, 2023, ⟨10.4204/EPTCS.384⟩
Proceedings/Recueil des communications
hal-04480804
v1
|
|
|
LNL-FPC: The Linear/Non-linear Fixpoint CalculusLogical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(2:9)2021⟩
Article dans une revue
hal-03018454
v1
|
Chargement...
Chargement...