I am a Full Professor at the Universidad Nacional de Quilmes (Argentina) and a permanent Researcher at CONICET (currently on leave). Since October 2024, I have been visiting INRIA Nancy for a three-year period, hosted by the Mocqua team at Loria (Laboratoire lorrain de recherche en informatique et ses applications), as part of the PEPR integrated project EPiQ (ANR-22-PETQ-0007), funded under the France 2030 Plan.

I have led several international research projects between Latin America and Europe, including two STIC-AmSud projects, one ECOS-Sud project, and I co-lead the MSCA Staff Exchanges project QCOMICAL (2024–2028), involving partners from Argentina, Uruguay, France, and Italy.

I was the Argentinian director and I am currently the French director of the LDPL team (Logics and Dynamics of Programming Languages) at the IRP SINFIN, a collaboration between CONICET and CNRS. Until September 2024, I also led the LoReL team (Logic and Rewriting for Programming Languages) at the Universidad Nacional de Quilmes and Universidad de Buenos Aires. In addition, I was a member of the QuICC team (Quantum Information, Computation, and Communication) at the Universidad de Buenos Aires.

I was an elected member of the Steering Committee of FSCD from 2021 to 2024.

Current Responsibilities:

• French coordinator of the Logics and Dynamics of Programming Languages team at the IRP SINFIN (CONICET-CNRS).
• Associated Editor of IEEE Transactions on Emerging Topics in Computing (TETC).
• Guest Editor of the Special Issue on Quantum Physics and Logic (QPL 2024 and QPL 2025) at JLAMP.
• Member of the Steering Committee of the Escuela de Ciencias Informáticas for the period 2021-2026.

Next events

• November 3-7, 2025: 1st QCOMICAL School (QCOMICAL 2025) (Organizer)
• July 20-23, 2026: 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026) (PC member)

Current Grants

• MSCA Staff Exchanges "QCOMICAL" - 12/2024 - 11/2028
  Quantum Computing and Its Calculi
  Funded by the European Commission under the Marie Skłodowska-Curie Actions - Staff Exchanges scheme
  Grant Agreement ID: 101182520
  Coordinators: A. Díaz-Caro and B. Valiron
  
  Website: QCOMICAL
  
  Participating institutions:
  

  • Argentina:
    • Universidad Nacional de Quilmes
    • Universidad de Buenos Aires
  • Uruguay:
    • Universidad de la República
  • France:
    • Aix-Marseille Université
    • INRIA (Université de Lorraine)
    • Quandela
    • Université Grenoble Alpes
    • Université Paris-Cité
    • Université Paris-Est Créteil
    • Université Paris-Saclay
  • Italy:
    • Università di Pisa
    • Università degli Studi di Urbino Carlo Bo
    • Università degli Studi di Cagliari

  
  
• CSIC 22520220100073UD - 2023 - 2025
  Computación Cuántica, Cálculo Lambda y sus Modelos Categóricos
  Funded by CSIC - Universidad de la República (Uruguay)
  Director: O. Malherbe. Co-director: A. Díaz-Caro
  
  
• PICT-2021-I-A-00090 - 2023 - 2026 Defunded in 2024 by Argentina's current administration, along with all scientific grants (See Nature article)
  Computación Cuántica y sus Cálculos
  Funded by Agencia Nacional de Promoción Científica y Tecnológica
  Director: A. Díaz-Caro
  
  

Drafts and papers under review

• A. Díaz-Caro, O. Malherbe, and R. Romero. Basis-Sensitive Quantum Typing via Realisability. BibTeXarXiv

  @Misc{DiazcaroMalherbeRomero25,
      author = "Alejandro D\'{\i}az-Caro and Octavio Malherbe and Rodrigo Romero",
      title = "Basis-Sensitive Quantum Typing via Realisability",
      year = "2025",
      howpublished = "Draft at {\tt arXiv:2510.18542}"
  }
  

• M. Avanzini, A. Díaz-Caro, E. Hainry, and R. Péchoux. Expectation-based Analysis of Higher-Order Quantum Programs. BibTeXarXiv

  @Misc{AvanziniDiazcaroHainryPechoux25,
      author = "Martin Avanzini and Alejandro D\'{\i}az-Caro and Emmanuel Hainry and Romain P\'echoux",
      title = "Expectation-based Analysis of Higher-Order Quantum Programs",
      year = "2025",
      howpublished = "Draft at {\tt arXiv:2504.18441}"
  }
  

• A. Díaz-Caro and G. Dowek. A new introduction rule for disjunction. BibTeXarXiv

  @Misc{DiazcaroDowek25,
      author = "Alejandro D\'{\i}az-Caro and Gilles Dowek",
      title = "A new introduction rule for disjunction",
      year = "2025",
      howpublished = "Draft at {\tt arXiv:2502.19172}"
  }
  

• A. Díaz-Caro, E. Hainry, R. Péchoux, and M. Silva. A feasible and unitary quantum programming language. BibTeXarXiv

  @Misc{DiazcaroHainryPechouxSilva24,
      author = "Alejandro D\'{\i}az-Caro and Emmanuel Hainry and Romain P\'echoux and Mario Silva",
      title = "A feasible and unitary programming language with quantum control",
      year = "2024",
      howpublished = "Draft at {\tt arXiv:2311.01054}"
  }
  

• A. Díaz-Caro and O. Malherbe. The sup connective in IMALL: A categorical semantics. BibTeXarXiv

  @Misc{DiazcaroMalherbe24,
      author = "D{\'\i}az-Caro, Alejandro and Malherbe, Octavio",
      title = "The Sup Connective in {IMALL}: {A} Categorical Semantics",
      year = "2024",
      howpublished = "Draft at {\tt arXiv:2205.02142}"
  }
  

Publications

2025

• • A. Díaz-Caro, M. Ivnisky, and O. Malherbe. An Algebraic Extension of Intuitionistic Linear Logic: The LS!-Calculus and Its Categorical Model. Journal of Logic and Computation. In Press, 2025. BibTeXarXiv

    @Article{DiazcaroIvniskyMalherbeJLC25,
        author = "Alejandro D\'{\i}az-Caro and Malena Ivnisky and Octavio Malherbe",
        title = "An Algebraic Extension of Intuitionistic Linear Logic: The $L^S_!$-Calculus and Its Categorical Model",
        journal = "Journal of Logic and Computation",
        year = "2025",
        note = "In Press. Draft at arXiv:2504.12128"
    }
    

  • A. Díaz-Caro and M. Villagra. Classically time-controlled quantum automata: Definition and properties. The Computer Journal 68(1):23-31, 2025. BibTeXTCJ (free access)arXiv doi:10.1093/comjnl/bxae089

    @Article{DiazcaroVillagraTCJ25,
        author = "Alejandro D\'{\i}az-Caro and Marcos Villagra",
        title = "Classically Time-Controlled Quantum Automata: {D}efinition and Properties",
        journal = "The Computer Journal",
        volume = "68",
        number = "1",
        pages = "23--31",
        year = "2025"
    }
    

• • A. Díaz-Caro and O. Malherbe. Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic. (FSTTCS 2025) - LIPIcs 320:20 (In Press), 2025. BibTeXarXiv

    @InProceedings{DiazcaroMalherbeFSTTCS25,
        author = "D{\'\i}az-Caro, Alejandro and Malherbe, Octavio",
        title = "Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic",
        booktitle = "41st Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2025)",
        year = "2025",
        series = "Leibniz International Proceedings in Informatics (LIPIcs)",
        volume = "320",
        pages = "20:1--20:17",
        editor = "C. Aiswarya and Ruta Mehta and Subhajit Roy",
        publisher = "Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Germany",
        note = "In press"
    }
    

  • A. Díaz-Caro and N. A. Monzon. A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. (APLAS 2025) - LNCS 16201 (In Press), 2025. BibTeXarXiv

    @InProceedings{DiazcaroMonzonAPLAS25,
        author = "Alejandro D\'{\i}az-Caro and Nicolas A. Monzon",
        title = "A Quantum-Control Lambda-Calculus with Multiple Measurement Bases",
        booktitle = "APLAS 2025: 23rd Asian Symposium on Programming Languages and Systems",
        year = "2025",
        series = "Lecture Notes in Computer Science",
        volume = "16201",
        pages = "xx--yy",
        editor = "A. Potanin",
        publisher = "Springer",
        note = "In Press. Full version at arXiv:2506.16244"
    }
    

  • K. Dave, A. Díaz-Caro, and V. Zamdzhiev. IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. (APLAS 2025) - LNCS 16201 (In Press), 2025. BibTeXarXiv

    @InProceedings{DaveDiazcaroZamdzhievAPLAS25,
        author = "Kinnari Dave and Alejandro D\'{\i}az-Caro and Vladimir Zamdzhiev",
        title = "{IMALL} with a Mixed-State Modality: A Logical Approach to Quantum Computation",
        booktitle = "APLAS 2025: 23rd Asian Symposium on Programming Languages and Systems",
        year = "2025",
        series = "Lecture Notes in Computer Science",
        volume = "16201",
        pages = "xx--yy",
        editor = "A. Potanin",
        publisher = "Springer",
        note = "In Press. Full version at arXiv:2506.09545"
    }
    

  • A. Díaz-Caro. Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program. (CiE 2025, invited paper) - LNCS 15764:34-46, 2025. BibTeXarXivLNCSVideo (TYPES'25) doi:10.1007/978-3-031-95908-0_3

    @Misc{DiazcaroCIE2025,
        author = "D\'{\i}az-Caro, Alejandro",
        title = "Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program",
        booktitle = "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations",
        editor = "Beckmann, Arnold and Oitavem, Isabel",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer",
        volume = "15764",
        pages = "34--46",
        year = "2025",
        note = "Invited paper"
    }
    

• • Proceedings of the 22nd International Conference on Quantum Physics and Logic. Edited by A. Díaz-Caro, O. Oreshkov, and A. B. Sainz. Electronic Proceedings in Theoretical Computer Science 426, 2025. EPTCS doi:10.4204/EPTCS.426
• • C. F. Sottile and A. Díaz-Caro. Reducibility candidates modulo isomorphisms. (IFL 2025) - Extended abstract, 2025.
  • A. Díaz-Caro, G. Dowek, and J.-P. Jouannaud. Proving Termination With CPOs. (HOR 2025) - Extended abstract, 2025. HAL
  • A. Díaz-Caro, O. Malherbe, and R. Romero. Basis-Sensitive Quantum Typing via Realizability. (HOR 2025) - Extended abstract, 2025.

2024

• • A. Díaz-Caro and G. Dowek. A linear linear lambda-calculus. Mathematical Structures in Computer Science, 34(10):1103-1137, 2024. BibTeXarXivMSCS doi:10.1017/S0960129524000197

    @Article{DiazcaroDowekMSCS24,
        author = "Alejandro D\'{\i}az-Caro and Gilles Dowek",
        title = "A linear linear lambda-calculus",
        journal = "Mathematical Structures in Computer Science",
        volume = "34",
        issue = "10",
        pages = "1103--1137",
        year = "2024",
    }
    

• • A. Díaz-Caro, G. Dowek, M. Ivnisky, and O. Malherbe. A linear proof language for second-order intuitionistic linear logic. (WoLLIC 2024) - LNCS 14672:18-35, 2024. BibTeXarXivLNCS doi:10.1007/978-3-031-62687-6_2

    @InProceedings{DiazcaroDowekIvniskyMalherbeWoLLIC2024,
        author = "D\'{\i}az-Caro, Alejandro and Dowek, Gilles and Ivnisky, Malena and Malherbe, Octavio",
        title = "A linear proof language for second-order intuitionistic linear logic",
        booktitle = "Logic, Language, Information and Computation",
        editor = " Metcalfe, George and Studer, Thomas and de Queiroz, Ruy ",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer",
        volume = "14672",
        pages = "18--35",
        year = "2024",
        note = "Available also at {\tt arXiv:2310.08517}"
    }
    

• • A. Díaz-Caro. Lógica y computación cuántica: Un camino a través de los vaivenes políticos de la Argentina. Bits de Ciencia 26:20-25, 2024 Bits de CienciaPDF ISSN: 0718-8005 (impresa) - 0717-8013 (en línea)
• • Proceedings of the 21st International Conference on Quantum Physics and Logic. Edited by A. Díaz-Caro and V. Zamdzhiev. Electronic Proceedings in Theoretical Computer Science 406, 2024. EPTCS doi:10.4204/EPTCS.406
• • A. Díaz-Caro, G. Dowek, and O. Malherbe. From Linear logic to quantum control. (QPL 2024) - Extended abstract, 2024. PDF.
  • A. Díaz-Caro, E. Hainry, R. Péchoux, and M. Silva. A feasible and unitary programming language with quantum control (work-in-progress) (PLanQC 2024) - Extended abstract, 2024. Link

2023

• • A. Díaz-Caro and O. Malherbe. A concrete model for a typed linear algebraic lambda calculus. Mathematical Structures in Computer Science 34(1):1-44, 2023. BibTeXarXivMSCS doi:10.1017/s0960129523000361

    @Article{DiazcaroMalherbeMSCS2023,
        author = "D\'{\i}az-Caro, Alejandro and Malherbe, Octavio",
        title = "A concrete model for a linear algebraic lambda calculus",
        journal = "Mathematical Structures in Computer Science",
        volume = "34",
        number = "1",
        pages = "1-44",
        year = "2023",
    }
    

  • A. Díaz-Caro and G. Dowek. Extensional proofs in a propositional logic modulo isomorphisms. Theoretical Computer Science 977:114172, 2023. BibTeXarXivTCS doi:10.1016/j.tcs.2023.114172

    @Article{DiazcaroDowekTCS23b,
        author = "Alejandro D\'{\i}az-Caro and Gilles Dowek",
        title = "Extensional proofs in a propositional logic modulo isomorphisms",
        journal = "Theoretical Computer Science",
        volume = "977",
        pages = "114172",
        year = "2023",
    }
    

  • A. Díaz-Caro and G. Dowek. A new connective in natural deduction, and its application to quantum computing. Theoretical Computer Science 957:113840, 2023. BibTeXarXivTCS doi:10.1016/j.tcs.2023.113840

    @Article{DiazcaroDowekTCS23a,
        author = "Alejandro D\'{\i}az-Caro and Gilles Dowek",
        title = "A new connective in natural deduction, and its application to quantum computing",
        journal = "Theoretical Computer Science",
        volume = "957",
        pages = "113840",
        year = "2023",
    }
    

2022

• • A. Díaz-Caro and O. Malherbe. Quantum control in the unitary sphere: Lambda-S₁ and its categorical model. Logical Methods in Computer Science 18(3:32), 2022. BibTeXLMCS3-pages abstract at QPL'21Video at QPL'21 doi:10.46298/lmcs-18(3:32)2022

    @article{DiazcaroMalherbeLMCS22,
        author = "D\'{\i}az-Caro, Alejandro and Malherbe, Octavio",
        title = "Quantum control in the unitary sphere: Lambda-$\mathcal S_1$ and its categorical model",
        journal = "Logical Methods in Computer Science",
        volume = "18",
        number = "3:32",
        year = "2022",
    }
    

• • A. Díaz-Caro and G. Dowek. Linear Lambda-Calculus is Linear. (FSCD 2022) - LIPIcs 228:21, 2022. BibTeXarXivLIPIcsVideo at FSCD'22 doi:10.4230/LIPIcs.FSCD.2022.21

    @InProceedings{DiazcaroDowekFSCD22,
        author = "D{\'\i}az-Caro, Alejandro and Dowek, Gilles",
        title = "Linear lambda-calculus is linear",
        booktitle = "7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)",
        year = "2022",
        series = "Leibniz International Proceedings in Informatics (LIPIcs)",
        volume = "228",
        pages = "21:1--21:17",
        editor = "Amy Felty",
        publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik"
    }
    

2021

• • A. Díaz-Caro. A quick overview on the quantum control approach to the lambda calculus. (LSFA 2021, invited paper) - EPTCS 357:1-17, 2021. BibTeXEPTCSVideo at LSFA'21 doi:10.4204/EPTCS.357.1

    @InProceedings{DiazcaroLSFA21,
        author = "D\'{\i}az-Caro, Alejandro",
        title = "A quick overview on the quantum control approach to the lambda calculus",
        year = "2021",
        editor = "Mauricio Ayala-Rinc\'on and Eduardo Bonelli",
        booktitle = "Proceedings of the 16th Workshop on Logical and Semantic Frameworks with Applications (LSFA'21)",
        series = "Electronic Proceedings in Theoretical Computer Science",
        volume = "357",
        pages = "1--17",
        publisher = "Open Publishing Association"
    }
    

  • R. Romero and A. Díaz-Caro. A note on confluence in typed probabilistic lambda calculi. (LSFA 2021) - EPTCS 357:18-24, 2021. BibTeXEPTCSVideo at LSFA'21 doi:10.4204/EPTCS.357.2

    @InProceedings{RomeroDiazcaroLSFA21,
        author = "Romero, Rafael and D\'{\i}az-Caro, Alejandro",
        title = "A note on confluence in typed probabilistic lambda calculi",
        year = "2021",
        editor = "Mauricio Ayala-Rinc\'on and Eduardo Bonelli",
        booktitle = "Proceedings of the 16th Workshop on Logical and Semantic Frameworks with Applications (LSFA'21)",
        series = "Electronic Proceedings in Theoretical Computer Science",
        volume = "357",
        pages = "18--24",
        publisher = "Open Publishing Association"
    }
    

  • A. Díaz-Caro and G. Dowek. A new connective in natural deduction, and its application to quantum computing. (ICTAC 2021) - Best Paper Award - LNCS 12819:175-193, 2021. BibTeXarXivLNCS3-pages abstract at QPL'21Video at ICTAC'21Video at QPL'21 doi:10.1007/978-3-030-85315-0_11

    @InProceedings{DiazcaroDowekICTAC2021,
        author = "D\'{\i}az-Caro, Alejandro and Dowek, Gilles",
        title = "A new connective in natural deduction, and its application to quantum computing",
        booktitle = "Theoretical Aspects of Computing (ICTAC 2021)",
        editor = "Antonio Cerone and Peter Csaba {\"O}lveczky",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer, Cham",
        pages = "175--193",
        volume = "12819",
        year = "2021"
    }
    

• • A. Díaz-Caro, M. Ivnisky, H. Melgratti, and B. Valiron. A finite-dimensional model for affine, linear quantum lambda calculi with general recursion. (TYPES 2021) - Extended abstract, 2021. Link

2020

• • A. Díaz-Caro and O. Malherbe. A Categorical Construction for the Computational Definition of Vector Spaces. Applied Categorical Structures 28(5):807-844, 2020. BibTeXarXivACSExtended abstract at ACT'19 doi:10.1007/s10485-020-09598-7

    @Article{DiazcaroMalherbeACS2020,
        author = "D\'{\i}az-Caro, Alejandro and Malherbe, Octavio",
        title = "A Categorical Construction for the Computational Definition of Vector Spaces",
        journal = "Applied Categorical Structures",
        pages = "807--844",
        volume = "28",
        number= "5",
        year = "2020",
    }
    

• • C. F. Sottile, A. Díaz-Caro, and P. E. Martínez López. Polymorphic System I. (IFL 2020) - ACM Proceedings of IFL'20, pages 127-137, 2020. Erratum

    There is an unintended error in the Strong Normalization proof presented in the published version. Although we conjecture that the theorem is valid, the current proof is incorrect and we are working in a correct proof.
    

    BibTeXarXivACM doi:10.1145/3462172.3462198

    @InProceedings{SotilleDiazcaroMartinezlopezIFL20,
        author = "Sottile, Cristian and D\'iaz-Caro, Alejandro and Mart\'inez L\'opez, Pablo E.",
        title = "Polymorphic System I",
        booktitle = "Proceedings of the 32nd Symposium on the Implementation and Application of Functional Programming Languages (IFL 2020)",
        series = "ICPS Proceedings",
        publisher = "ACM",
        pages = "127--137",
        year = "2020",
    }
    

  • B. Accattoli and A. Díaz-Caro. Functional Pearl: The Distributive λ-Calculus. (FLOPS 2020) - LNCS 12073:13-32, 2020. BibTeXarXivLNCS doi:10.1007/978-3-030-59025-3_3

    @InProceedings{AccattoliDiazcaroFLOPS20,
        author = "Accattoli, Beniamino and D\'{\i}az-Caro, Alejandro",
        title = "Functional Pearl: The Distributive $\lambda$-Calculus",
        booktitle = "Functional and Logic Programming (FLOPS 2020)",
        editor = "Nakano, Keisuke and Sagonas, Konstantinos",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer, Cham",
        pages = "34--49",
        volume = "12073",
        year = "2020"
    }
    

• • F. Olmedo and A. Díaz-Caro. Runtime Analysis of Quantum Programs: A Formal Approach. (PLanQC 2020) - Extended abstract, 2020. arXiv

2019

• • A. Díaz-Caro, G. Dowek, and J. P. Rinaldi. Two linearities for quantum computing in the lambda calculus. Postproceedings of TPNC'2017. Biosystems 186:104012, 2019. BibTeXarXivBioSystemsSlides at CVQT'18 doi:10.1016/j.biosystems.2019.104012

    @Article{DiazcaroDowekRinaldiBIO19,
        author = "Alejandro D\'{\i}az-Caro and Gilles Dowek and {Juan Pablo} Rinaldi",
        title = "Two linearities for quantum computing in the lambda calculus",
        journal = "BioSystems",
        note = "Postproceedings of TPNC 2017",
        pages = "104012",
        volume = "186",
        year = "2019",
        issn = "0303-2647"
    }
    

• • A. Díaz-Caro and G. Dowek. Proof Normalisation in a Logic Identifying Isomorphic Propositions. (FSCD 2019) - LIPIcs 131:14, 2019. BibTeXarXivLIPIcsslides doi:10.4230/LIPIcs.FSCD.2019.14

    @InProceedings{DiazcaroDowekFSCD19,
        author = "D{\'\i}az-Caro, Alejandro and Dowek, Gilles",
        title = "Proof Normalisation in a Logic Identifying Isomorphic Propositions",
        booktitle = "4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)",
        year = "2019",
        pages = "14:1--14:23",
        series = "Leibniz International Proceedings in Informatics (LIPIcs)",
        volume = "131",
        editor = "Herman Geuvers",
        publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik"
    }
    

  • A. Díaz-Caro, M. Guillermo, A. Miquel, and B. Valiron. Realizability in the Unitary Sphere. LICS 2019. BibTeXIEEEarXiv doi:10.1109/LICS.2019.8785834

    @InProceedings{DiazcaroGuillermoMiquelValironLICS19,
        author = "D\'{\i}az-Caro, Alejandro and Guillermo, Mauricio and Miquel, Alexandre and Valiron, Beno\^{\i}t",
        title = "Realizability in the Unitary Sphere",
        booktitle = "Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)",
        pages = "1--13",
        year = "2019"
    }
    

2018

• • A. Díaz-Caro and M. Villagra. Classically time-controlled quantum automata. (TPNC 2018) - LNCS 11324:266-278, 2018. BibTeXarXivLNCS doi:10.1007/978-3-030-04070-3_21

    @InProceedings{DiazcaroVillagraTPNC18,
        author = "Alejandro D\'{\i}az-Caro and Marcos Villagra",
        title = "Classically Time-Controlled Quantum Automata",
        booktitle = "Theory and Practice of Natural Computing (TPNC 2018)",
        editor = "Carlos Mart{\'\i}n-Vide and Michael O'Neill and Miguel A. Vega-Rodr{\'\i}guez",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer, Cham",
        pages = "266--278",
        volume = "11324",
        year = "2018"
    }
    

  • A. Díaz-Caro and O. Malherbe. A concrete categorical semantics for Lambda-S. (LSFA 2018) - ENTCS 344:83-100, 2018. BibTeXENTCSslides doi:10.1016/j.entcs.2019.07.006

    @InProceedings{DiazcaroMalherbeLSFA18,
        author = "Alejandro D\'{\i}az-Caro and Octavio Malherbe",
        title = "A concrete categorical semantics for Lambda-S",
        pages = "83--100",
        year = "2019",
        editor = "Beniamino Accattoli and Carlos Olarte",
        booktitle = "Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA'18)",
        series = "Electronic Notes in Theoretical Computer Science",
        volume = "344",
        publisher = "Elsevier"
    }
    

2017

• • P. Arrighi, A. Díaz-Caro, and B. Valiron. The vectorial λ-calculus. Information and computation 254(1):105-139, 2017. BibTeXarXivIC doi:10.1016/j.ic.2017.04.001

    @Article{ArrighiDiazcaroValironIC17,
        author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro and Beno\^it Valiron",
        title = "The Vectorial Lambda-Calculus",
        journal = "Information and Computation",
        volume = "254",
        number= "1",
        pages= "105--139",
        year = "2017"
    }
    

• • A. Díaz-Caro and G. Martínez. Confluence in probabilistic rewriting. (LSFA 2017) - ENTCS 338:115-131, 2018. BibTeXarXivENTCS doi:10.1016/j.entcs.2018.10.008

    @InProceedings{DiazcaroMartinezLSFA17,
        author = "Alejandro D{\'\i}az-Caro and Guido Mart{\'\i}nez",
        title = "Confluence in probabilistic rewriting",
        booktitle = "Proceedings of the 12th International Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017)",
        editor = "Sandra Alves and Renata Wassermann",
        series = "Electronic Notes in Teoretical Computer Science",
        volume = "338",
        pages = "115--131",
        year = "2018",
        publisher = "Elsevier"
    }
    

  • A. Díaz-Caro and G. Dowek. Typing quantum superpositions and measurement. (TPNC 2017) - LNCS 10687:281-293, 2017. BibTeXarXivLNCSPoster (APLAS'17) | slides doi:10.1007/978-3-319-71069-3_22

    @InProceedings{DiazcaroDowekTPNC17,
        author = "D{\'\i}az-Caro, Alejandro and Dowek, Gilles",
        title = "Typing quantum superpositions and measurement",
        booktitle = "Theory and Practice of Natural Computing (TPNC 2017)",
        editor = "Carlos Mart{\'\i}n-Vide and Roman Neruda and Miguel A. Vega-Rodr{\'\i}guez",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer, Cham",
        pages = "281--293",
        volume = "10687",
        year = "2017"
    }
    

  • A. Díaz-Caro. A lambda calculus for density matrices with classical and probabilistic controls. (APLAS 2017) - LNCS 10695:448-467, 2017. BibTeXarXivLNCSslides doi:10.1007/978-3-319-71237-6_22

    @InProceedings{DiazcaroAPLAS17,
        author = "Alejandro D{\'\i}az-Caro",
        title = "A lambda calculus for density matrices with classical and probabilistic controls",
        booktitle = "Programming Languages and Systems (APLAS 2017)",
        editor = "Bor-Yuh Evan Chang",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer, Cham",
        pages = "448--467",
        volume = "10695",
        year = "2017"
    }
    

2016

• • M. Coppo, M. Dezani-Ciancaglini, A. Díaz-Caro, I. Margaria and M. Zacchi. Retractions in intersection types. (ITRS 2016) - EPTCS 242:31-47, 2017. BibTeXEPTCS doi:10.4204/EPTCS.242.5

    @InProceedings{CoppoDezaniciancagliniDiazcaroMargariaZacchiITRS16,
        author = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Alejandro D\'{\i}az-Caro and Ines Margaria and Maddalena Zacchi",
        title = "Retractions in intersection types",
        pages = "31--47",
        year = "2017",
        editor = "Naoki Kobayashi",
        booktitle = "Proceedings Eighth Workshop on Intersection Types and Related Systems",
        series = "Electronic Proceedings in Theoretical Computer Science",
        volume = "242",
        publisher = "Open Publishing Association"
    }
    

  • A. Díaz-Caro and A. Yakaryılmaz. Affine computation and affine automaton. (CSR 2016) - LNCS 9691:146-160, 2016. BibTeXarXivLNCSslides doi:10.1007/978-3-319-34171-2_11

    @InProceedings{DiazcaroYakaryilmazCSR16,
        author = "Alejandro D\'iaz-Caro and Abuzer Yakary\ilmaz ",
        title = "Affine computation and affine automaton",
        booktitle = "Computer Science -- Theory and Applications: 11th International Computer Science Symposium in Russia (CSR 2016)",
        editor = "Alexander Kulikov and Gerhard Woeginger",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer, Cham",
        pages = "146--160",
        volume = "9691",
        year = "2016"
    }
    

• • A. Díaz-Caro. ¿Qué es la computación cuántica?. Ciencia Hoy 25(150):40-44, 2016. Ciencia Hoy ISSN: 0327-1218

2015

• • A. Díaz-Caro and P. E. Martínez López. Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ⁺. (IFL 2015) - ACM Proceedings of IFL'15(9), 2015. BibTeXarXivACMPrototipe doi:10.1145/2897336.2897346

    @InProceedings{DiazcaroMartinezlopezIFL15,
        author = "D\'iaz-Caro, Alejandro and Mart\'inez L\'opez, Pablo E.",
        title = "Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of $\lambda^+$",
        booktitle = "Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages",
        series = "IFL '15",
        publisher = "ACM",
        pages = "9:1--9:11",
        articleno = "9",
        year = "2015",
    }
    

2014

• • A. Assaf, A. Díaz-Caro, S. Perdrix, C. Tasson, and B. Valiron. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus. Logical Methods in Computer Science 10(4:8), 2014. BibTeXLMCS doi:10.2168/LMCS-10(4:8)2014

    @Article{AssafDiazcaroPerdrixTassonValironLMCS14,
        author = "Ali Assaf and Alejandro D{\'\i}az-Caro and Simon Perdrix and Christine Tasson and Beno{\^\i}t Valiron",
        title = "Call-by-value, call-by-name and the vectorial behaviour of the algebraic $\lambda$-calculus",
        journal = "Logical Methods in Computer Science",
        volume = "10",
        number = "4:8",
        year = "2014"
    }
    

2013

• • A. Díaz-Caro and G. Dowek. The probability of non-confluent systems. (DCM 2013) - EPTCS 144:1-15, 2014. BibTeXEPTCSslides doi:10.4204/EPTCS.144.1

    @InProceedings{DiazcaroDowekDCM13,
        author = "Alejandro D{\'\i}az-Caro and Gilles Dowek",
        title = "The probability of non-confluent systems",
        pages = "1--15",
        year = "2014",
        editor = "Mauricio Ayala-Rincón and Eduardo Bonelli and Ian Mackie",
        booktitle = "Proceedings of the 9th International Workshop on Developments in Computational Models",
        series = "Electronic Proceedings in Theoretical Computer Science",
        volume = "144",
        publisher = "Open Publishing Association"
    }
    

  • A. Díaz-Caro, G. Manzonetto, and M. Pagani. Call-by-value non-determinism in a linear logic type discipline. (LFCS 2013) - LNCS 7734:164-178, 2013. BibTeXHALLNCSslides doi:10.1007/978-3-642-35722-0_12

    @InProceedings{DiazcaroManzonettoPaganiLFCS13,
        author = "Alejandro D{\'\i}az-Caro and Giulio Manzonetto and Michele Pagani",
        title = "Call-by-value non-determinism in a linear logic type discipline",
        booktitle = "Logical Foundations of Computer Science, International Symposium, (LFCS 2013)",
        editor = "Sergei Artemov and Anil Nerode",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer, Berlin, Heidelberg",
        pages = "164--178",
        volume = "7734",
        year = "2013"
    }
    

2012

• • P. Arrighi and A. Díaz-Caro. A System F accounting for scalars. Logical Methods in Computer Science 8(1:11), 2012. BibTeXLMCSslides doi:10.2168/LMCS-8(1:11)2012

    @Article{ArrighiDiazcaroLMCS12,
        author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro",
        title = "A {S}ystem {F} accounting for scalars",
        journal = "Logical Methods in Computer Science",
        volume = "8",
        number = "1:11",
        year = "2012"
    }
    

• • A. Díaz-Caro and G. Dowek. Non determinism through type isomorphism. (LSFA 2012) - EPTCS 113:137-144, 2013. BibTeXEPTCSslides doi:10.4204/EPTCS.113.13

    @InProceedings{DiazcaroDowekLSFA12,
        author = "Alejandro D{\'\i}az-Caro and Gilles Dowek",
        title = "Non determinism through type isomorphism",
        pages = "137--144",
        year = "2013",
        editor = "Delia Kesner and Petrucio Viana",
        booktitle = "Proceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012)",
        series = "Electronic Proceedings in Theoretical Computer Science",
        volume = "113",
        publisher = "Open Publishing Association"
    }
    

  • A. Díaz-Caro and B. Petit. Linearity in the non-deterministic call-by-value setting. (WoLLIC 2012) - LNCS 7456:216-231, 2012. BibTeXarXivLNCSslides doi:10.1007/978-3-642-32621-9_16

    @InProceedings{DiazcaroPetitWoLLIC12,
        author = "Alejandro D{\'\i}az-Caro and Barbara Petit",
        title = "Linearity in the non-deterministic call-by-value setting",
        booktitle = "Logic, Language, Information and Computation",
        editor = "Luke Ong and Ruy {de Queiroz}",
        series = "Lecture Notes in Computer Science",
        publisher = "Springer, Berlin, Heidelberg",
        pages = "216--231",
        volume = "7456",
        year = "2012"
    }
    

• • A. Díaz-Caro. Tras las huellas de la computación cuántica. Ensemble 9: Dossier Temático "Vidas y proyectos de jóvenes científicos argentinos", 2012. PDF ISSN: 1852-5911

2011

• • A. Díaz-Caro. Du typage vectoriel. PhD Thesis. Advisor: P. Arrighi. Co-advisor: F. Prost - Université de Grenoble, France, Sep. 23, 2011. BibTeXpdfslidesVideoTEL

    @phdthesis{Diazcaro11,
        author = "Alejandro D{\'\i}az-Caro",
        title = "Du typage vectoriel",
        school = "Universit\'e de Grenoble",
        year = "2011",
        address = "France",
        month = sep # {~23,},
    }
    

• • P. Buiras, A. Díaz-Caro, and M. Jaskelioff. Confluence via strong normalisation in an algebraic λ-calculus with rewriting. (LSFA 2011) - EPTCS 81:16-29, 2012. BibTeXEPTCSslides (QuAND) doi:10.4204/EPTCS.81.2

    @InProceedings{BuirasDiazcaroJaskelioffLSFA11,
        author = "Pablo Buiras and Alejandro D{\'\i}az-Caro and Mauro Jaskelioff",
        title = "Confluence via strong normalisation in an algebraic $\lambda$-calculus with rewriting",
        pages = "16--29",
        year = "2012",
        editor = "Simona {Ronchi della Rocca} and Elaine Pimentel",
        booktitle = "Proceedings of the 6th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2011)",
        series = "Electronic Proceedings in Theoretical Computer Science",
        volume = "81",
        publisher = "Open Publishing Association"
    }
    

  • P. Arrighi, A. Díaz-Caro, and B. Valiron. A type system for the vectorial aspect of the linear-algebraic lambda-calculus. (DCM 2011) - EPTCS 88:1-15, 2012. BibTeXEPTCSCOQ proof advertised in the paperslides doi:10.4204/EPTCS.88.1

    @InProceedings{ArrighiDiazcaroValironDCM11,
        author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro and Beno{\^\i}t Valiron",
        title = "A type system for the vectorial aspects of the linear-algebraic lambda-calculus",
        pages = "1--15",
        year = "2012",
        editor = "Elham Kashefi and Jean Krivine and Femke van Raamsdonk",
        booktitle = "Proceedings of the 7th International Workshop on Developments of Computational Methods (DCM 2011)",
        series = "Electronic Proceedings in Theoretical Computer Science",
        volume = "88",
        publisher = "Open Publishing Association"
    }
    

2010

• • A. Díaz-Caro, S. Perdrix, C. Tasson, and B. Valiron. Equivalence of algebraic λ-calculi - work-in-progress. (HOR 2010) - Extended abstract, 2025. arXiv

2009

• • P. Arrighi and A. Díaz-Caro. Scalar System F for linear-algebraic λ-calculus: Towards a quantum physical logic. (QPL 2009) - ENTCS 270(2):219-229, 2011. BibTeXarXivENTCSslides doi:10.1016/j.entcs.2011.01.033

    @InProceedings{ArrighiDiazcaroQPL09,
        author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro",
        title = "Scalar {S}ystem {F} for Linear-Algebraic $\lambda$-Calculus: Towards a Quantum Physical Logic",
        pages = "206--215",
        year = "2011",
        editor = "Bob Coecke and Prakash Panangaden and Peter Selinger",
        booktitle = "Proceedings of the 6th International Workshop on Quantum Physics and Logic ({QPL} 2009)",
        series = "Electronic Notes in Theoretical Computer Science",
        volume = "270/2",
        publisher = "Elsevier"
    }
    

2008

• • A. Díaz-Caro, P. Arrighi, M. Gadella, and J. J. Grattage. Measurements and confluence in quantum lambda calculi with explicit qubits. (QPL/DCM 2008) - ENTCS 270(1):59-74, 2011. BibTeXarXivENTCS doi:10.1016/j.entcs.2011.01.006

    @InProceedings{DiazcaroArrighiGadellaGrattageQPLDCM08,
        author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro and Manuel Gadella and Jonathan J. Grattage",
        title = "Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits",
        pages = "59--74",
        year = "2011",
        editor = "Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger",
        booktitle = "Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models ({QPL/DCM} 2008)",
        series = "Electronic Notes in Theoretical Computer Science",
        volume = "270/1",
        publisher = "Elsevier"
    }
    

2007

• • A. Díaz-Caro. Agregando medición al cálculo de van Tonder. Master's Thesis. Advisors M. Gadella and P. E. Martínez López - Universidad Nacional de Rosario, Argentina, Dec. 21, 2007. BibTeXpdfslides

    @mastersthesis{Diazcaro07,
        author = "Alejandro D{\'\i}az-Caro",
        title = "Agregando medici\'on al c\'alculo de van Tonder",
        school = "Universidad Nacional de Rosario",
        year = "2007",
        address = "Argentina",
        month = dec # {~21,},
    }
    

Media Appearances and Interviews

• Interview about quantum computing. EstudioTech YouTube channel. May 10, 2025.
• Buenos Aires fue sede de la principal conferencia internacional de computación cuántica y lógica. Article by the ICC-UBA. July 23, 2024.
• La Universidad Nacional de Quilmes apuesta a la computación cuántica. Article by the UNQ News Agency. July 15, 2024.
• Interview about the QCOMICAL project. TV show "Desde el conocimiento" (C5N). July 8, 2024.
• Interview about Quantum Computing. David Yaps for his YouTube channel. June 27, 2024.
• Docente de la UNQ coordinará un proyecto internacional sobre computación cuántica. Article by the UNQ News Agency. June 18, 2024.
• Computación cuántica: qué desafíos enfrenta antes de alcanzar la revolución tecnológica. Article by the ICC-UBA. January 16, 2024.
• Interview about quantum computing. Radio show "El Faro - Un programa de ciencia" (FM Radio Noticias, Santa Rosa, La Pampa). October 15, 2020.
• Un lenguaje de programación para la computación cuántica. Article by the ICC-UBA. April 11, 2019.

Current students

PhD students

• Malena Ivnisky. UBA. In cotutelle with UdelaR, with O. Malherbe.
• Nicolás Monzón. UdelaR.
• Rafael Romero. UBA/CONICET. Co-director: O. Malherbe.
• Cristian F. Sottile. UBA/CONICET. Co-director: P. E. Martínez López.

Licenciatura students (equivalent to Master 2 in the Bologna system)

• Luciano Barletta. Licenciatura thesis at UNR (DCC-FCEIA).
• Tomás Miguez. Licenciatura thesis at UBA (DC-FCEN).

Past students

• Carlos Miguel Soto. Licenciatura thesis at UBA (DC-FCEN) defended on May 6, 2025.
  Thesis: On the Completeness of a Syntactically Linear Logic.
   
• Nicolás Monzón. Ingeniería thesis at UADE defended on March 7, 2025.
  Thesis: Extension of Lambda-S for different measurement bases.
   
• Álvaro Piorno. Licenciatura thesis at UNQ (DCyT) defended on December 13, 2024.
  Thesis: Extensión con iteradores de un cálculo lambda a control cuántico.
   
• Martín Villagra. Licenciatura thesis at UNR (DCC-FCEIA) defended on December 20, 2023, co-directed with P. E. Martínez López.
  Thesis: Compilación del lambda cálculo con matrices densidad en la máquina cuántical IBM-Q.
   
• Nicolás San Martín. Licenciatura thesis at UBA (DC-FCEN) defended on August 3, 2023, co-directed with P. E. Martínez López.
  Thesis: Operador de medición en un cálculo lambda con control cuántico.
   
• Malena Ivnisky. Licenciatura thesis at UBA (DC-FCEN) defended on August 28, 2020, co-directed with H. Melgratti.
  Thesis: Agregando punto fijo a una extensión cuántica de lambda cálculo con matrices de densidad.
   
• Francisco Noriega. Licenciatura thesis at UBA (DC-FCEN) defended on May 4, 2020.
  Thesis: The Vectorial Lambda Calculus Revisited.
  Preprint at arXiv:2007.03648, 2021.
   
• Rafael Romero. Licenciatura thesis at UBA (DC-FCEN) defended on March 19, 2020.
  Thesis: Una extensión polimórfica para los λ-cálculos cuánticos λ_ρ y λ_ρ^°.
  Paper published at LSFA 2021 (EPTCS 357:18-24, 2021).
   
• Cristian F. Sottile. Licenciatura thesis at UNLP (Info) defended on March 10, 2020, co-directed with P. E. Martínez López.
  Thesis: Agregando polimorfismo a una lógica que identifica proposiciones isomorfas.
  Paper published at IFL'20 (ACM Proceedings of IFL'20, 2021).
   
• Agustín Borgna. Licenciatura thesis at UBA (DC-FCEN) defended on August 1st, 2019.
  Thesis: Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron.
   
• Juan Pablo Rinaldi. Licenciatura thesis at UNR (DCC-FCEIA) defended on June 27, 2018.
  Thesis: Demostrando normalización fuerte sobre una extensión cuántica del lambda cálculo.
  Paper published at BioSystems, as a postproceedings of TPNC 2017 (Biosystems 186:104012, 2019).
   
• Guido Martínez. Licenciatura thesis at UNR (DCC-FCEIA) defended on March 27, 2017.
  Thesis: Confluencia en sistemas de reescritura probabilista.
  Paper published at LSFA 2017 (ENTCS 338:115-131, 2018).
   
• Pablo Buiras. Licenciatura thesis at UNR (DCC-FCEIA) defended on December 26, 2011, co-directed with M. Jaskelioff.
  Thesis: Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores.
  Paper published at LSFA 2011 (EPTCS 81:16-29, 2012).