Cover Image

Proceedings of the 22nd International Conference on Quantum Physics and Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Díaz-Caro, Alejandro, Oreshkov, Ognyan, Sainz, Ana Belén
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings of the 21st International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Proceedings 41st International Conference on Logic Programming
by: Gebser, Martin, et al.
Published: (2025)

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
by: Díaz-Caro, Alejandro
Published: (2025)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Proceedings 40th International Conference on Logic Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
by: Barthe, Gilles, et al.
Published: (2025)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
by: Lindenhovius, Bert, et al.
Published: (2025)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
by: Dave, Kinnari, et al.
Published: (2025)

Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability
by: Yamakami, Tomoyuki
Published: (2025)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
by: Di Giusto, Cinzia, et al.
Published: (2025)

Parity erasure: a foundational principle for indefinite causal order
by: Liu, Zixuan, et al.
Published: (2025)

Subsystem decompositions of quantum evolutions and transformations between causal perspectives
by: Wechs, Julian, et al.
Published: (2024)

Projective characterization of higher-order quantum transformations
by: Hoffreumon, Timothée, et al.
Published: (2022)

Generalizing Bell nonlocality without global causal assumptions
by: Kunjwal, Ravi, et al.
Published: (2024)

Nonclassicality in correlations without causal order
by: Kunjwal, Ravi, et al.
Published: (2023)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Proceedings Seventh International Conference on Applied Category Theory 2024
by: Johnson, Michael, et al.
Published: (2025)

A Practical Quantum Hoare Logic with Classical Variables, I
by: Ying, Mingsheng
Published: (2024)

Model Checking Matrix Product States against Linear Chain Logic
by: Xu, Ming, et al.
Published: (2026)

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
by: Barbosa, Haniel, et al.
Published: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
by: Barthe, Gilles, et al.
Published: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Bacci, Giorgio, et al.
Published: (2025)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

Proceedings Eighth International Conference on Applied Category Theory
by: Hadzihasanovic, Amar, et al.
Published: (2026)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
by: Ross, Oscar Montiel
Published: (2026)

Quantum references
by: Unruh, Dominique
Published: (2021)

Bayesian Inference in Quantum Programs
by: Gehnen, Christina, et al.
Published: (2025)

Simulating Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)

Quantum Petri Nets with Event Structures semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

Quantum Petri Nets with Event Structure semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

End-to-End Formalization of Quantum Error Correction
by: Ehatamm, Mattias, et al.
Published: (2026)

Simpler Presentations for Many Fragments of Quantum Circuits
by: Blake, Colin
Published: (2026)

Algebraic Structure of Quantum Controlled States and Operators
by: Agnew, Edwin, et al.
Published: (2026)

Enriching Diagrams with Algebraic Operations
by: Villoria, Alejandro, et al.
Published: (2023)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

Verifying Quantum Phase Estimation (QPE) using Prove-It
by: Witzel, Wayne M., et al.
Published: (2023)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
by: Dai, Aochu, et al.
Published: (2025)