Quantum Computing and its Calculi

Informacje na temat projektu

QCOMICAL

Identyfikator umowy o grant: 101182520

DOI

10.3030/101182520

Data podpisania przez KE 15 Lipca 2024

Data rozpoczęcia 1 Grudnia 2024

Data zakończenia 30 Listopada 2028

Finansowanie w ramach

• Marie Skłodowska-Curie Actions (MSCA)

Koszt całkowity

Brak danych

Wkład UE

€ 515 200,00

Koordynowany przez

CENTRALESUPELEC
France

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

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.

Publikacje

Conference proceedings (5)

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

Autorzy: Alejandro Díaz-Caro, Octavio Malherbe
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), Numer 360, 2025
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSTTCS.2025.28

Strong normalization through idempotent intersection types: a new syntactical approach

Autorzy: Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
Opublikowane w: Electronic Notes in Theoretical Informatics and Computer Science, Numer Volume 5 - Proceedings of..., 2025, ISSN 2969-2431
Wydawca: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/ENTICS.16693

Causal Decompositions of 1D Quantum Cellular Automata

Autorzy: Augustin Vanrietvelde, Octave Mestoudjian, Pablo Arrighi
Opublikowane w: The 29th Conference on Quantum Information Processing (QIP 2026), 2026
Wydawca: IEEE

Quantum Programming in Polylogarithmic Time

Autorzy: Florent Ferrari, Emmanuel Hainry, Romain Péchoux, Mário Silva
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), Numer 345, 2025
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.MFCS.2025.47

Towards a Computational Quantum Logic

Autorzy: Alejandro Díaz-Caro
Opublikowane w: Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025
Wydawca: 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

Autorzy: Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
Opublikowane w: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Wydawca: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.09545

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Autorzy: Alejandro Díaz-Caro, Nicolas A. Monzon
Opublikowane w: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Wydawca: Springer Nature Singapore
DOI: 10.48550/ARXIV.2506.16244

Lecture Notes in Computer Science

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

Autorzy: Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
Opublikowane w: Journal of Logic and Computation, Numer 35, 2025, ISSN 0955-792X
Wydawca: Oxford University Press (OUP)
DOI: 10.48550/ARXIV.2504.12128