Alejandro Díaz-Caro

Publications

Article dans une revue (8)

The Sup Connective in IMALL: A Categorical Semantics Alejandro Díaz-Caro,Octavio Malherbe Theoretical Computer Science, In press Article dans une revue hal-05523606v1
An Algebraic Extension of Intuitionistic Linear Logic: The LS!-Calculus and Its Categorical Model Alejandro Díaz-Caro,Malena Ivnisky,Octavio Malherbe Journal of Logic and Computation, 2025, 35 (8), ⟨10.1093/logcom/exaf053⟩ Article dans une revue hal-05249959v1
Classically time-controlled quantum automata: definition and properties Alejandro Díaz-Caro,Marcos Villagra The Computer Journal, 2025, 68 (1), pp.23-31. ⟨10.1093/comjnl/bxae089⟩ Article dans une revue hal-05422547v1
Extensional proofs in a propositional logic modulo isomorphisms Alejandro Díaz-Caro,Gilles Dowek Theoretical Computer Science, 2023, 977, pp.114172. ⟨10.1016/j.tcs.2023.114172⟩ Article dans une revue hal-04504753v1
Two linearities for quantum computing in the lambda calculus Alejandro Díaz-Caro,Gilles Dowek,Juan Pablo Rinaldi BioSystems, 2019 Article dans une revue hal-02909128v1
The vectorial λ-calculus Pablo Arrighi,Alejandro Díaz-Caro,Benoît Valiron Information and Computation, 2017, 254 (1), pp.105--139. ⟨10.1016/j.ic.2017.04.001⟩ Article dans une revue hal-01785464v1
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Ali Assaf,Alejandro Díaz-Caro,Simon Perdrix,Christine Tasson,Benoît Valiron Logical Methods in Computer Science, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩ Article dans une revue hal-01097602v1
A System F accounting for scalars Pablo Arrighi,Alejandro Díaz-Caro Logical Methods in Computer Science, 2012, 8 (1), pp.11. ⟨10.2168/LMCS-8(1:11)2012⟩ Article dans une revue hal-00924944v1

Communication dans un congrès (18)

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. pp.131-160, ⟨10.1007/978-981-95-3585-9_7⟩ Communication dans un congrès hal-05209450v1
Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic Alejandro Díaz-Caro,Octavio Malherbe 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2025), Dec 2025, Goa, India. pp.28:1-28:17, ⟨10.4230/LIPIcs.FSTTCS.2025.28⟩ Communication dans un congrès hal-05422536v1
Towards a Computational Quantum Logic Alejandro Díaz-Caro 21st Conference on Computability in Europe, CiE 2025, Jul 2025, Lisbon, Portugal. pp.34-46, ⟨10.1007/978-3-031-95908-0_3⟩ Communication dans un congrès hal-05129482v1
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. pp.151-170, ⟨10.1007/978-981-95-3585-9_8⟩ Communication dans un congrès hal-05249919v1
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-05265661v1
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-03089254v1
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-02175168v1
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-02909135v1
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-01670387v1
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-00919546v1
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-00919463v1
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-00925001v1
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-00924992v1
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-00924938v1
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-00924926v1
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-00924875v1
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-00924890v1
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-00924912v1

Autre publication scientifique (1)

Proving Termination With CPO --Full Version Alejandro Díaz-Caro,Gilles Dowek,Jean-Pierre Jouannaud 2025 Autre publication scientifique hal-05146299v2

Proceedings/Recueil des communications (2)

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-05249976v1
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-05249986v1

Pré-publication, Document de travail (1)

A logic identifying isomorphic propositions Alejandro Díaz-Caro,Gilles Dowek 2018 Pré-publication, Document de travail hal-01109104v5