Quantum Computing and its Calculi

Project Information

QCOMICAL

Grant agreement ID: 101182520

DOI

10.3030/101182520

EC signature date 15 July 2024

Start date 1 December 2024

End date 30 November 2028

Funded under

• Marie Skłodowska-Curie Actions (MSCA)

Total cost

No data

EU contribution

€ 515 200,00

Coordinated by

CENTRALESUPELEC
France

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

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

Author(s): Joseph Touzet, Oguz Kaya, Pablo Arrighi, Amélia Durbec
Published in: 2025 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2025
Publisher: IEEE
DOI: 10.1109/IPDPSW66978.2025.00080

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

Author(s): Alejandro Díaz-Caro, Octavio Malherbe
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 360, 2025
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSTTCS.2025.28

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic

Author(s): Rémi Di Guardia; Thomas Ehrhard; Claudia Faggian
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 378, 2026, ISSN 1868-8969
Publisher: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2604.26059

Denotational Semantics for Stabiliser Quantum Programs

Author(s): Robert I. Booth; Cole Comfort
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 378, 2026, ISSN 1868-8969
Publisher: Schloss Dagstuhl
DOI: 10.4230/LIPICS.FSCD.2026.8

Strong normalization through idempotent intersection types: a new syntactical approach

Author(s): Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
Published in: Electronic Notes in Theoretical Informatics and Computer Science, Issue Volume 5 - Proceedings of..., 2025, ISSN 2969-2431
Publisher: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/ENTICS.16693

Resource-Aware Quantum Programming with General Recursion and Quantum Control

Author(s): Kostia Chardonnet; Emmanuel Hainry; Romain Péchoux; Thomas Vinet
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 378, 2026, ISSN 1868-8969
Publisher: Schloss Dagstuhl
DOI: 10.4230/LIPICS.FSCD.2026.12

Quantum Control and General Recursion Beyond the Unitary Case

Author(s): Kathleen Barsse; Romain Péchoux; Simon Perdrix
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 380, 2026, ISSN 1868-8969
Publisher: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2507.10466

Graphical Symplectic Algebra

Author(s): Robert I. Booth; Titouan Carette; Cole Comfort
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 378, 2026, ISSN 1868-8969
Publisher: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2401.07914

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

Author(s): Pablo Barenbaum, Delia Kesner, Mariana Milicich
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue Volume 363,pp. 47:1-47:24, 2026
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.CSL.2026.47

Approximation Theory for Distant Bang Calculus

Author(s): Kostia Chardonnet; Jules Chouquet; Axel Kerinec
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 378, 2026, ISSN 1868-8969
Publisher: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2601.05199

Causal Decompositions of 1D Quantum Cellular Automata

Author(s): Augustin Vanrietvelde, Octave Mestoudjian, Pablo Arrighi
Published in: The 29th Conference on Quantum Information Processing (QIP 2026), 2026
Publisher: IEEE

Quantum Programming in Polylogarithmic Time

Author(s): Florent Ferrari, Emmanuel Hainry, Romain Péchoux, Mário Silva
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 345, 2025
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.MFCS.2025.47

Towards a Computational Quantum Logic

Author(s): Alejandro Díaz-Caro
Published in: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-95908-0_3

Simpler Presentations for Many Fragments of Quantum Circuits

Author(s): Colin Blake
Published in: Leibniz International Proceedings in Informatics (LIPIcs), Issue 378, 2026, ISSN 1868-8969
Publisher: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2602.09874

Peer reviewed articles (4)

Logical Methods in Computer Science

Author(s): Cipriano Junior Cioffo ; Fabio Gadducci ; Davide Trotta
Published in: Logical Methods in Computer Science, Issue 22(2), 2026, ISSN 1860-5974
Publisher: Episciences
DOI: 10.48550/ARXIV.2502.10323

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

Author(s): Dominique Unruh, Benoît Valiron, Mingsheng Ying
Published in: ACM Transactions on Computational Logic, Issue 27, 2026, ISSN 1529-3785
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3815573

The sup connective in IMALL: A categorical semantics

Author(s): Alejandro Díaz-Caro, Octavio Malherbe
Published in: Theoretical Computer Science, Issue 1072, 2026, ISSN 0304-3975
Publisher: Elsevier BV
DOI: 10.48550/ARXIV.2205.02142

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

Author(s): Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
Published in: Journal of Logic and Computation, Issue 35, 2025, ISSN 0955-792X
Publisher: 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

Author(s): Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
Published in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Publisher: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.09545

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Author(s): Alejandro Díaz-Caro, Nicolas A. Monzon
Published in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Publisher: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.16244