Quantum Computing and its Calculi

Informazioni relative al progetto

QCOMICAL

ID dell’accordo di sovvenzione: 101182520

DOI

10.3030/101182520

Data della firma CE 15 Luglio 2024

Data di avvio 1 Dicembre 2024

Data di completamento 30 Novembre 2028

Finanziato da

• Marie Skłodowska-Curie Actions (MSCA)

Costo totale

Nessun dato

Contributo UE

€ 515 200,00

Coordinato da

CENTRALESUPELEC
France

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

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.

Pubblicazioni

Conference proceedings (14)

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

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

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

Autori: Alejandro Díaz-Caro, Octavio Malherbe
Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 360, 2025
Editore: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSTTCS.2025.28

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic

Autori: Rémi Di Guardia; Thomas Ehrhard; Claudia Faggian
Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 378, 2026, ISSN 1868-8969
Editore: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2604.26059

Denotational Semantics for Stabiliser Quantum Programs

Autori: Robert I. Booth; Cole Comfort
Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 378, 2026, ISSN 1868-8969
Editore: Schloss Dagstuhl
DOI: 10.4230/LIPICS.FSCD.2026.8

Strong normalization through idempotent intersection types: a new syntactical approach

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

Resource-Aware Quantum Programming with General Recursion and Quantum Control

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

Quantum Control and General Recursion Beyond the Unitary Case

Autori: Kathleen Barsse; Romain Péchoux; Simon Perdrix
Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 380, 2026, ISSN 1868-8969
Editore: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2507.10466

Graphical Symplectic Algebra

Autori: Robert I. Booth; Titouan Carette; Cole Comfort
Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 378, 2026, ISSN 1868-8969
Editore: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2401.07914

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

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

Approximation Theory for Distant Bang Calculus

Autori: Kostia Chardonnet; Jules Chouquet; Axel Kerinec
Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 378, 2026, ISSN 1868-8969
Editore: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2601.05199

Causal Decompositions of 1D Quantum Cellular Automata

Autori: Augustin Vanrietvelde, Octave Mestoudjian, Pablo Arrighi
Pubblicato in: The 29th Conference on Quantum Information Processing (QIP 2026), 2026
Editore: IEEE

Quantum Programming in Polylogarithmic Time

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

Towards a Computational Quantum Logic

Autori: Alejandro Díaz-Caro
Pubblicato in: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-95908-0_3

Simpler Presentations for Many Fragments of Quantum Circuits

Autori: Colin Blake
Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 378, 2026, ISSN 1868-8969
Editore: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2602.09874

Peer reviewed articles (4)

Logical Methods in Computer Science

Autori: Cipriano Junior Cioffo ; Fabio Gadducci ; Davide Trotta
Pubblicato in: Logical Methods in Computer Science, Numero 22(2), 2026, ISSN 1860-5974
Editore: Episciences
DOI: 10.48550/ARXIV.2502.10323

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

Autori: Dominique Unruh, Benoît Valiron, Mingsheng Ying
Pubblicato in: ACM Transactions on Computational Logic, Numero 27, 2026, ISSN 1529-3785
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3815573

The sup connective in IMALL: A categorical semantics

Autori: Alejandro Díaz-Caro, Octavio Malherbe
Pubblicato in: Theoretical Computer Science, Numero 1072, 2026, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.48550/ARXIV.2205.02142

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

Autori: Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
Pubblicato in: Journal of Logic and Computation, Numero 35, 2025, ISSN 0955-792X
Editore: 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

Autori: Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
Pubblicato in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Editore: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.09545

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Autori: Alejandro Díaz-Caro, Nicolas A. Monzon
Pubblicato in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Editore: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.16244