QuIDS: A Large-Scale Distributed Framework for Quantum Irregular Dynamics Simulations
(se abrirá en una nueva ventana)
Autores:
Joseph Touzet, Oguz Kaya, Pablo Arrighi, Amélia Durbec
Publicado en:
2025 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2025
Editor:
IEEE
DOI:
10.1109/IPDPSW66978.2025.00080
Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
(se abrirá en una nueva ventana)
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
(se abrirá en una nueva ventana)
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
Useful Call-by-Value: A Semantic Interpretation via Quantitative Types
(se abrirá en una nueva ventana)
Autores:
Pablo Barenbaum, Delia Kesner, Mariana Milicich
Publicado en:
Leibniz International Proceedings in Informatics (LIPIcs), Edición Volume 363,pp. 47:1-47:24, 2026
Editor:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/LIPICS.CSL.2026.47
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
(se abrirá en una nueva ventana)
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
(se abrirá en una nueva ventana)
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