Quantum Computing and its Calculi

Información del proyecto

QCOMICAL

Identificador del acuerdo de subvención: 101182520

DOI

10.3030/101182520

Fecha de la firma de la CE 15 Julio 2024

Fecha de inicio 1 Diciembre 2024

Fecha de finalización 30 Noviembre 2028

Financiado con arreglo a

• Marie Skłodowska-Curie Actions (MSCA)

Coste total

Sin datos

Aportación de la UE

€ 515 200,00

Coordinado por

CENTRALESUPELEC
France

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

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.

Publicaciones

Conference proceedings (5)

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

Autores: Alejandro Díaz-Caro, Octavio Malherbe
Publicado en: Leibniz International Proceedings in Informatics (LIPIcs), Edición 360, 2025
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSTTCS.2025.28

Strong normalization through idempotent intersection types: a new syntactical approach

Autores: Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
Publicado en: Electronic Notes in Theoretical Informatics and Computer Science, Edición Volume 5 - Proceedings of..., 2025, ISSN 2969-2431
Editor: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/ENTICS.16693

Causal Decompositions of 1D Quantum Cellular Automata

Autores: Augustin Vanrietvelde, Octave Mestoudjian, Pablo Arrighi
Publicado en: The 29th Conference on Quantum Information Processing (QIP 2026), 2026
Editor: IEEE

Quantum Programming in Polylogarithmic Time

Autores: Florent Ferrari, Emmanuel Hainry, Romain Péchoux, Mário Silva
Publicado en: Leibniz International Proceedings in Informatics (LIPIcs), Edición 345, 2025
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.MFCS.2025.47

Towards a Computational Quantum Logic

Autores: Alejandro Díaz-Caro
Publicado en: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025
Editor: 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

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

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

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

Lecture Notes in Computer Science

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

Autores: Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
Publicado en: Journal of Logic and Computation, Edición 35, 2025, ISSN 0955-792X
Editor: Oxford University Press (OUP)
DOI: 10.48550/ARXIV.2504.12128