Quantum Computing and its Calculi

Informations projet

QCOMICAL

N° de convention de subvention: 101182520

DOI

10.3030/101182520

Date de signature de la CE 15 Juillet 2024

Date de début 1 Decembre 2024

Date de fin 30 Novembre 2028

Financé au titre de

• Marie Skłodowska-Curie Actions (MSCA)

Coût total

Aucune donnée

Contribution de l’UE

€ 515 200,00

Coordonné par

CENTRALESUPELEC
France

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Documents, reports (1)

Dissemination Plan

Data Management Plan (1)

Data Management Plan

The data management plan will be provided, as requested, following the template available at the Reference Documents on the Portal.

Publications

Conference proceedings (14)

QuIDS: A Large-Scale Distributed Framework for Quantum Irregular Dynamics Simulations

Auteurs: Joseph Touzet, Oguz Kaya, Pablo Arrighi, Amélia Durbec
Publié dans: 2025 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2025
Éditeur: IEEE
DOI: 10.1109/IPDPSW66978.2025.00080

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic

Auteurs: Alejandro Díaz-Caro, Octavio Malherbe
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 360, 2025
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSTTCS.2025.28

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic

Auteurs: Rémi Di Guardia; Thomas Ehrhard; Claudia Faggian
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 378, 2026, ISSN 1868-8969
Éditeur: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2604.26059

Denotational Semantics for Stabiliser Quantum Programs

Auteurs: Robert I. Booth; Cole Comfort
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 378, 2026, ISSN 1868-8969
Éditeur: Schloss Dagstuhl
DOI: 10.4230/LIPICS.FSCD.2026.8

Strong normalization through idempotent intersection types: a new syntactical approach

Auteurs: Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
Publié dans: Electronic Notes in Theoretical Informatics and Computer Science, Numéro Volume 5 - Proceedings of..., 2025, ISSN 2969-2431
Éditeur: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/ENTICS.16693

Resource-Aware Quantum Programming with General Recursion and Quantum Control

Auteurs: Kostia Chardonnet; Emmanuel Hainry; Romain Péchoux; Thomas Vinet
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 378, 2026, ISSN 1868-8969
Éditeur: Schloss Dagstuhl
DOI: 10.4230/LIPICS.FSCD.2026.12

Quantum Control and General Recursion Beyond the Unitary Case

Auteurs: Kathleen Barsse; Romain Péchoux; Simon Perdrix
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 380, 2026, ISSN 1868-8969
Éditeur: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2507.10466

Graphical Symplectic Algebra

Auteurs: Robert I. Booth; Titouan Carette; Cole Comfort
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 378, 2026, ISSN 1868-8969
Éditeur: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2401.07914

Useful Call-by-Value: A Semantic Interpretation via Quantitative Types

Auteurs: Pablo Barenbaum, Delia Kesner, Mariana Milicich
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro Volume 363,pp. 47:1-47:24, 2026
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.CSL.2026.47

Approximation Theory for Distant Bang Calculus

Auteurs: Kostia Chardonnet; Jules Chouquet; Axel Kerinec
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 378, 2026, ISSN 1868-8969
Éditeur: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2601.05199

Causal Decompositions of 1D Quantum Cellular Automata

Auteurs: Augustin Vanrietvelde, Octave Mestoudjian, Pablo Arrighi
Publié dans: The 29th Conference on Quantum Information Processing (QIP 2026), 2026
Éditeur: IEEE

Quantum Programming in Polylogarithmic Time

Auteurs: Florent Ferrari, Emmanuel Hainry, Romain Péchoux, Mário Silva
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 345, 2025
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.MFCS.2025.47

Towards a Computational Quantum Logic

Auteurs: Alejandro Díaz-Caro
Publié dans: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-95908-0_3

Simpler Presentations for Many Fragments of Quantum Circuits

Auteurs: Colin Blake
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 378, 2026, ISSN 1868-8969
Éditeur: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2602.09874

Peer reviewed articles (4)

Logical Methods in Computer Science

Auteurs: Cipriano Junior Cioffo ; Fabio Gadducci ; Davide Trotta
Publié dans: Logical Methods in Computer Science, Numéro 22(2), 2026, ISSN 1860-5974
Éditeur: Episciences
DOI: 10.48550/ARXIV.2502.10323

Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control

Auteurs: Dominique Unruh, Benoît Valiron, Mingsheng Ying
Publié dans: ACM Transactions on Computational Logic, Numéro 27, 2026, ISSN 1529-3785
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3815573

The sup connective in IMALL: A categorical semantics

Auteurs: Alejandro Díaz-Caro, Octavio Malherbe
Publié dans: Theoretical Computer Science, Numéro 1072, 2026, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.48550/ARXIV.2205.02142

An algebraic extension of intuitionistic linear logic: the !-calculus and its categorical model

Auteurs: Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
Publié dans: Journal of Logic and Computation, Numéro 35, 2025, ISSN 0955-792X
Éditeur: Oxford University Press (OUP)
DOI: 10.48550/ARXIV.2504.12128

Book chapters (2)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation

Auteurs: Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
Publié dans: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Éditeur: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.09545

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Auteurs: Alejandro Díaz-Caro, Nicolas A. Monzon
Publié dans: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Éditeur: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.16244