Alejandro Díaz-Caro

30
Documents

Publications

Publications

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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