Cover Image

Expectation-based Analysis of Higher-Order Quantum Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Avanzini, Martin, Díaz-Caro, Alejandro, Hainry, Emmanuel, Péchoux, Romain
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Resource-Aware Quantum Programming with General Recursion and Quantum Control
by: Chardonnet, Kostia, et al.
Published: (2025)

A feasible and unitary quantum programming language
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Quantum Programming in Polylogarithmic Time
by: Ferrari, Florent, et al.
Published: (2025)

Declassification Policy for Program Complexity Analysis
by: Hainry, Emmanuel, et al.
Published: (2024)

A programming language characterizing quantum polynomial time
by: Hainry, Emmanuel, et al.
Published: (2022)

Branch Sequentialization in Quantum Polytime
by: Hainry, Emmanuel, et al.
Published: (2024)

Complete and tractable machine-independent characterizations of second-order polytime
by: Hainry, Emmanuel, et al.
Published: (2022)

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

Quantum Control and General Recursion beyond the Unitary Case
by: Barsse, Kathleen, et al.
Published: (2025)

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

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

A programming language combining quantum and classical control
by: Dave, Kinnari, et al.
Published: (2025)

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

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

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

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
by: Haselwarter, Philipp G., et al.
Published: (2024)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
by: Charalambidis, Angelos, et al.
Published: (2026)

A new introduction rule for disjunction
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

A linear linear lambda-calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

A quantitative probabilistic relational Hoare logic
by: Avanzini, Martin, et al.
Published: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

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

Hammering Higher Order Set Theory
by: Brown, Chad E., et al.
Published: (2025)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
by: Watanabe, Kazuki, et al.
Published: (2025)

Bialgebraic Reasoning on Higher-Order Program Equivalence
by: Goncharov, Sergey, et al.
Published: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

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

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
by: Kura, Satoshi, et al.
Published: (2024)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
by: Aguirre, Alejandro, et al.
Published: (2024)

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

SAT-Inspired Higher-Order Eliminations
by: Blanchette, Jasmin, et al.
Published: (2022)

Kuroda's Translation for Higher-Order Logic
by: Traversié, Thomas
Published: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

Syntactic Effectful Realizability in Higher-Order Logic
by: Cohen, Liron, et al.
Published: (2025)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2025)

Big Steps in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2025)

Higher-Order Constrained Dependency Pairs for (Universal) Computability
by: Guo, Liye, et al.
Published: (2024)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
by: Kudasov, Nikolai
Published: (2022)

Unification of Deterministic Higher-Order Patterns (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2026)