Quantum Computing and its Calculi

Informations projet

QCOMICAL

N° de convention de subvention: 101182520

DOI

10.3030/101182520

Date de signature de la CE 15 Juillet 2024

Date de début 1 Decembre 2024

Date de fin 30 Novembre 2028

Financé au titre de

• Marie Skłodowska-Curie Actions (MSCA)

Coût total

Aucune donnée

Contribution de l’UE

€ 515 200,00

Coordonné par

CENTRALESUPELEC
France

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

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

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

Auteurs: Alejandro Díaz-Caro, Octavio Malherbe
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 360, 2025
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSTTCS.2025.28

Strong normalization through idempotent intersection types: a new syntactical approach

Auteurs: Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
Publié dans: Electronic Notes in Theoretical Informatics and Computer Science, Numéro Volume 5 - Proceedings of..., 2025, ISSN 2969-2431
Éditeur: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/ENTICS.16693

Causal Decompositions of 1D Quantum Cellular Automata

Auteurs: Augustin Vanrietvelde, Octave Mestoudjian, Pablo Arrighi
Publié dans: The 29th Conference on Quantum Information Processing (QIP 2026), 2026
Éditeur: IEEE

Quantum Programming in Polylogarithmic Time

Auteurs: Florent Ferrari, Emmanuel Hainry, Romain Péchoux, Mário Silva
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 345, 2025
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.MFCS.2025.47

Towards a Computational Quantum Logic

Auteurs: Alejandro Díaz-Caro
Publié dans: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025
Éditeur: 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

Auteurs: Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
Publié dans: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Éditeur: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.09545

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Auteurs: Alejandro Díaz-Caro, Nicolas A. Monzon
Publié dans: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Éditeur: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.16244

Lecture Notes in Computer Science

Auteurs: Alejandro Díaz-Caro
Publié dans: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025, ISSN 0302-9743
Éditeur: 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

Auteurs: Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
Publié dans: Journal of Logic and Computation, Numéro 35, 2025, ISSN 0955-792X
Éditeur: Oxford University Press (OUP)
DOI: 10.48550/ARXIV.2504.12128