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

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

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

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

Book chapters (3)

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

Lecture Notes in Computer Science

Autoren: Alejandro Díaz-Caro
Veröffentlicht in: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025, ISSN 0302-9743
Herausgeber: Springer Verlag
DOI: 10.48550/ARXIV.2504.07609

Peer reviewed articles (1)

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