Quantum Computing and its Calculi

Projektinformationen

QCOMICAL

ID Finanzhilfevereinbarung: 101182520

DOI

10.3030/101182520

EK-Unterschriftsdatum 15 Juli 2024

Startdatum 1 Dezember 2024

Enddatum 30 November 2028

Finanziert unter

• Marie Skłodowska-Curie Actions (MSCA)

Gesamtkosten

Keine Daten

EU-Beitrag

€ 515 200,00

Koordiniert durch

CENTRALESUPELEC
France

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

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.

Veröffentlichungen

Conference proceedings (14)

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

Autoren: Joseph Touzet, Oguz Kaya, Pablo Arrighi, Amélia Durbec
Veröffentlicht in: 2025 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2025
Herausgeber: IEEE
DOI: 10.1109/IPDPSW66978.2025.00080

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

Autoren: Alejandro Díaz-Caro, Octavio Malherbe
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 360, 2025
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSTTCS.2025.28

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic

Autoren: Rémi Di Guardia; Thomas Ehrhard; Claudia Faggian
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 378, 2026, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2604.26059

Denotational Semantics for Stabiliser Quantum Programs

Autoren: Robert I. Booth; Cole Comfort
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 378, 2026, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl
DOI: 10.4230/LIPICS.FSCD.2026.8

Strong normalization through idempotent intersection types: a new syntactical approach

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

Resource-Aware Quantum Programming with General Recursion and Quantum Control

Autoren: Kostia Chardonnet; Emmanuel Hainry; Romain Péchoux; Thomas Vinet
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 378, 2026, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl
DOI: 10.4230/LIPICS.FSCD.2026.12

Quantum Control and General Recursion Beyond the Unitary Case

Autoren: Kathleen Barsse; Romain Péchoux; Simon Perdrix
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 380, 2026, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2507.10466

Graphical Symplectic Algebra

Autoren: Robert I. Booth; Titouan Carette; Cole Comfort
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 378, 2026, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2401.07914

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

Autoren: Pablo Barenbaum, Delia Kesner, Mariana Milicich
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe Volume 363,pp. 47:1-47:24, 2026
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.CSL.2026.47

Approximation Theory for Distant Bang Calculus

Autoren: Kostia Chardonnet; Jules Chouquet; Axel Kerinec
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 378, 2026, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2601.05199

Causal Decompositions of 1D Quantum Cellular Automata

Autoren: Augustin Vanrietvelde, Octave Mestoudjian, Pablo Arrighi
Veröffentlicht in: The 29th Conference on Quantum Information Processing (QIP 2026), 2026
Herausgeber: IEEE

Quantum Programming in Polylogarithmic Time

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

Towards a Computational Quantum Logic

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

Simpler Presentations for Many Fragments of Quantum Circuits

Autoren: Colin Blake
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 378, 2026, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2602.09874

Peer reviewed articles (4)

Logical Methods in Computer Science

Autoren: Cipriano Junior Cioffo ; Fabio Gadducci ; Davide Trotta
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 22(2), 2026, ISSN 1860-5974
Herausgeber: Episciences
DOI: 10.48550/ARXIV.2502.10323

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

Autoren: Dominique Unruh, Benoît Valiron, Mingsheng Ying
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 27, 2026, ISSN 1529-3785
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3815573

The sup connective in IMALL: A categorical semantics

Autoren: Alejandro Díaz-Caro, Octavio Malherbe
Veröffentlicht in: Theoretical Computer Science, Ausgabe 1072, 2026, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.48550/ARXIV.2205.02142

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

Autoren: Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
Veröffentlicht in: Journal of Logic and Computation, Ausgabe 35, 2025, ISSN 0955-792X
Herausgeber: 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

Autoren: Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
Veröffentlicht in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Herausgeber: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.09545

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Autoren: Alejandro Díaz-Caro, Nicolas A. Monzon
Veröffentlicht in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Herausgeber: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.16244