Alejandro Díaz-Caro

27
Documents

Publications

Publications

Proceedings of QPL 2025

Alejandro Díaz-Caro , Ognyan Oreshkov , Ana Belén Sainz
22nd International Conference on Quantum Physics and Logic (QPL 2025), Jul 2025, Varna, Bulgaria. Electronic Proceedings in Theoretical Computer Science, 426, 2025, ⟨10.4204/EPTCS.426⟩
Proceedings/Recueil des communications hal-05249976 v1

Towards a Computational Quantum Logic

Alejandro Díaz-Caro
21st Conference on Computability in Europe, CiE 2025, Jul 2025, Lisbon, Portugal. Lecture Notes in Computer Science, 15764, Springer Nature Switzerland; Springer Nature Switzerland, pp.34-46, 2025, Lecture Notes in Computer Science, 978-3-031-95907-3. ⟨10.1007/978-3-031-95908-0_3⟩
Proceedings/Recueil des communications hal-05129482 v1

Proceedings of QPL 2024

Alejandro Díaz-Caro , Vladimir Zamdzhiev
21st International Conference on Quantum Physics and Logic, Jul 2024, Buenos Aires, Argentina. Electronic Proceedings in Theoretical Computer Science, 406, 2024, ⟨10.4204/EPTCS.406⟩
Proceedings/Recueil des communications hal-05249986 v1

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Alejandro Díaz-Caro , Nicolas A. Monzon
APLAS 2025 - 23rd Asian Symposium on Programming Languages and Systems, Oct 2025, Bengaluru, India
Communication dans un congrès hal-05249919 v1

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation

Kinnari Dave , Alejandro Díaz-Caro , Vladimir Zamdzhiev
APLAS 2025 - 23rd Asian Symposium on Programming Languages and Systems, Oct 2025, Bengaluru, India
Communication dans un congrès hal-05209450 v1

A Linear Proof Language for Second-Order Intuitionistic Linear Logic

Alejandro Díaz-Caro , Gilles Dowek , Malena Ivnisky , Octavio Malherbe
Logic, Language, Information, and Computation - WoLLIC 2024, Jun 2024, Bern, Switzerland. pp.18-35, ⟨10.1007/978-3-031-62687-6_2⟩
Communication dans un congrès hal-05265661 v1

Functional Pearl: The Distributive $\lambda$-Calculus

Beniamino Accattoli , Alejandro Díaz-Caro
FLOPS 2020 - 15th International Symposium on Functional and Logic Programming, Sep 2020, Akita, Japan. pp.33-49, ⟨10.1007/978-3-030-59025-3_3⟩
Communication dans un congrès hal-03089254 v1
Image document

Realizability in the Unitary Sphere

Alejandro Díaz-Caro , Mauricio Guillermo , Alexandre Miquel , Benoît Valiron
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Jun 2019, Vancouver, Canada
Communication dans un congrès hal-02175168 v1
Image document

Proof Normalisation in a Logic Identifying Isomorphic Propositions

Alejandro Díaz-Caro , Gilles Dowek
FSCD 2019 - International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany
Communication dans un congrès hal-02909135 v1
Image document

Typing Quantum Superpositions and Measurement

Alejandro Díaz-Caro , Gilles Dowek
TPNC 2017 - 6th International Conference on the Theory and Practice of Natural Computing, Dec 2017, Prague, Czech Republic. pp.13, ⟨10.1007/978-3-319-71069-3_22⟩
Communication dans un congrès hal-01670387 v1
Image document

The probability of non-confluent systems

Alejandro Díaz-Caro , Gilles Dowek
DCM - 9th International Workshop on Developments in Computational Models - 2013, Aug 2013, Buenos Aires, Argentina. pp.1-15, ⟨10.4204/EPTCS.144.1⟩
Communication dans un congrès hal-00919546 v1
Image document

Call-by-value non-determinism in a linear logic type discipline

Alejandro Díaz-Caro , Giulio Manzonetto , Michele Pagani
LFCS - Logical Foundations of Computer Science - 2013, Jan 2013, San Diego, CA, United States. pp.164-178, ⟨10.1007/978-3-642-35722-0_12⟩
Communication dans un congrès hal-00919463 v1

Non determinism through type isomorphism

Alejandro Díaz-Caro , Gilles Dowek
LSFA - 7th Workshop on Logical and Semantic Frameworks with Applications - 2012, Sep 2012, Rio de Janeiro, Brazil. pp.137-144, ⟨10.4204/EPTCS.113.13⟩
Communication dans un congrès hal-00925001 v1

Linearity in the non-deterministic call-by-value setting

Alejandro Díaz-Caro , Barbara Petit
WoLLIC - 19th International Workshop on Logic, Language, Information and Computation - 2012, Sep 2012, Buenos Aires, Argentina. pp.216-231, ⟨10.1007/978-3-642-32621-9_16⟩
Communication dans un congrès hal-00924992 v1

A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

Pablo Arrighi , Alejandro Díaz-Caro , Benoît Valiron
DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩
Communication dans un congrès hal-00924926 v1

Confluence via strong normalisation in an algebraic lambda-calculus with rewriting

Pablo Buiras , Alejandro Díaz-Caro , Mauro Jaskelioff
LSFA - 6th Workshop on Logical and Semantic Frameworks with Applications - 2011, Aug 2011, Belo Horizonte, Brazil. pp.16-29, ⟨10.4204/EPTCS.81.2⟩
Communication dans un congrès hal-00924938 v1

Measurements and confluence in quantum lambda calculi with explicit qubits

Alejandro Díaz-Caro , Pablo Arrighi , Manuel Gadella , Jonathan Grattage
QPL/DCM - Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models - 2008, Jul 2008, Reykjavik, Iceland. pp.59-74, ⟨10.1016/j.entcs.2011.01.006⟩
Communication dans un congrès hal-00924875 v1

Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic

Pablo Arrighi , Alejandro Díaz-Caro
QPL 2009 - International Workshop on Quantum Physics and Logic, Apr 2009, Oxford, United Kingdom. pp.219-229, ⟨10.1016/j.entcs.2011.01.033⟩
Communication dans un congrès hal-00924890 v1

Equivalence of algebraic λ-calculi

Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoît Valiron
HOR - 5th International Workshop on Higher-Order Rewriting - 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11
Communication dans un congrès hal-00924912 v1