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 (7)

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

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

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

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

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

Peer reviewed articles (2)

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