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

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

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

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

Book chapters (3)

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

Lecture Notes in Computer Science

Autori: Alejandro Díaz-Caro
Pubblicato in: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025, ISSN 0302-9743
Editore: 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

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