I hold a tenured research position at CONICET (the Argentinian national scientific council), affiliated to the Instituto de Ciencias de la Computación at the Universidad de Buenos Aires. I also hold a tenured professorship at the Universidad Nacional de Quilmes.

I got my PhD in 2011 at the Université de Grenoble, working on type theory and quantum computing, and did postdocs at the Université Paris 13 (LIPN), Inria, and the Università di Torino.

I have directed several international research projects between Argentina and France: two STIC-AmSud projects, with partners also from Uruguay, Chile, and Brazil, and one ECOS-Sud project. I am also the director of the Argentinian side of the LDPL team (Logics and Dynamics of Programming Languages) at the IRP SINFIN, between CONICET and CNRS. I am also the director of the LoReL team (Logic and Rewriting for Programming Languages) between Universidad Nacional de Quilmes and Universidad de Buenos Aires, and member of the QuICC team (Quantum Information, Computation, and Communication) at the Universidad de Buenos Aires. I am a member of the Steering Committee of FSCD.

Next events

• July 1-2, 2023: 18th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2023)
• July 3-6, 2023: 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
• July 17-21, 2023: 20th International Conference on Quantum Physics and Logic (QPL 2023)

Recent past events

• February 13-17, 2023: 31th EACSL Annual Conference on Computer Science Logic (CSL 2023)

Current grants

• PICT-2021-I-A-00090 - 2023 - 2026 (hide)
  
  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
  
  
• CSIC 22520220100073UD - 2023 - 2025 (hide)
  
  Computación Cuántica, Cálculo Lambda y sus Modelos Categóricos
  Funded by CSIC - Universidad de la República - Uruguay
  Director: O. Malherbe. Codirector: A. Díaz-Caro
  
  
• PIP 11220200100368CO - 2021 - 2023 (hide)
  
  Fundamentos de lenguajes para computación cuántica y consecuencias en sistemas clásicos
  Funded by CONICET
  Director: A. Díaz-Caro
  
  
• PICT-2019-1272 - 03/2021 - 03/2024 (hide)
  
  Estructuras lógicas y algebraicas vinculadas al procesamiento de la información cuántica
  Funded by Agencia Nacional de Promoción Científica y Tecnológica
  Director: F. Holik. Miembro del grupo responsable: A. Díaz-Caro
  
  
• PUNQ 2218/22 - 05/2022 - 04/2024 (hide)
  
  Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica
  Funded by Universidad Nacional de Quilmes
  Director: A. Díaz-Caro. Co-director: P. E. Martínez López
  
  

Submitted papers and drafts

• Semimodules and the (syntactically-)linear lambda calculus
  A. Díaz-Caro and O. Malherbe - arXiv:2205.02142 - 2022 - BibTeX (hide)
  

  @Misc{DiazcaroMalherbe22,
      author = "D{\'\i}az-Caro, Alejandro and Malherbe, Octavio",
      title = "Semimodules and the (syntactically-)linear lambda calculus",
      year = "2022",
      howpublished = "Draft at {\tt arXiv:2205.02142}"
  }

• Extensional proofs in a propositional logic modulo isomorphisms
  A. Díaz-Caro and G. Dowek - arXiv:2002.03762 - 2022 - BibTeX (hide)
  

  @Misc{DiazcaroDowek2020,
      author = "Alejandro D\'{\i}az-Caro and Gilles Dowek",
      title = "Extensional proofs in a propositional logic modulo isomorphisms",
      year = "2022",
      howpublished = "Draft at {\tt arXiv:2002.03762}"
  }

• Classically Time-Controlled Quantum Automata: Definition and Properties (Long revisited journal version of LNCS 11324:266-278, 2018)
  A. Díaz-Caro and M. Villagra - arXiv:1807.05385 - 2022 - BibTeX (hide)
  

  @Misc{DiazcaroVillagra2020,
      author = "Alejandro D\'{\i}az-Caro and Marcos Villagra",
      title = "Classically Time-Controlled Quantum Automata: Definition and Properties",
      year = "2022",
      howpublished = "Draft at {\tt arXiv:1807.05385v3}"
  }

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

  @Misc{DiazcaroIvniskyMelgrattiValiron21,
      author = "D\'{\i}az-Caro, Alejandro and Ivnisky, Malena and Melgratti, Hern\'an and Valiron, Beno\^it",
      title = "A finite-dimensional model for affine, linear quantum lambda calculi with general recursion",
      year = "2021",
      howpublished = "Draft available at {\tt https://mivnisky.github.io/qfixpoint.pdf}"
  }

• The Vectorial Lambda Calculus Revisited
  F. Noriega and A. Díaz-Caro - arXiv:2007.03648 - 2021 - BibTeX (hide)
  

  @Misc{NoriegaDiazcaro21,
      author = "Noriega, Francisco and D\'iaz-Caro, Alejandro",
      title = "The Vectorial Lambda Calculus Revisited",
      year = "2021",
      howpublished = "Draft at {\tt arXiv:2007.03648}"
  }

• A concrete model for a typed linear algebraic lambda calculus (Long revisited journal version of ENTCS 344:83-100, 2018)
  A. Díaz-Caro and O. Malherbe - arXiv:1806.09236 - 2020 - BibTeX (hide)
  

  @Misc{DiazcaroMalherbe2020,
      author = "D\'{\i}az-Caro, Alejandro and Malherbe, Octavio",
      title = "A concrete model for a linear algebraic lambda calculus",
      year = "2020",
      howpublished = "Draft at {\tt arXiv:1806.09236}"
  }

Publications

2023

• A new connective in natural deduction, and its application to quantum computing
  A. Díaz-Caro and G. Dowek - Theoretical Computer Science, to appear, 2023
  [ arXiv ] doi:10.1016/j.tcs.2023.113840
  BibTeX (hide)
  

  @Article{DiazcaroDowekTCS23,
      author = "D\'iaz-Caro, Alejandro and Dowek, Gilles",
      title = "A new connective in natural deduction, and its application to quantum computing",
      journal = "Theoretical Computer Science",
      volume = "To appear",
      year = "2023",
  }

2022

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

  @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",
  }

• Linear Lambda-Calculus is Linear
  A. Díaz-Caro and G. Dowek - (FSCD 2022) - LIPIcs 228:21, 2022.
  [ arXiv | LIPIcs | Video at FSCD'22 ] doi:10.4230/LIPIcs.FSCD.2022.21
  BibTeX (hide)
  

  @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 quick overview on the quantum control approach to the lambda calculus
  A. Díaz-Caro - (LSFA'21, Invited paper) - EPTCS 357:1-17, 2021.
  [ EPTCS | Video at LSFA'21 ] doi:10.4204/EPTCS.357.1
  BibTeX (hide)
  

  @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"
  }

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

  @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 new connective in natural deduction, and its application to quantum computing
  A. Díaz-Caro and G. Dowek - (ICTAC 2021) - Best Paper Award - LNCS 12819:175-193, 2021.
  [ arXiv | LNCS | 3-pages abstract at QPL'21 | Video at ICTAC'21 | Video at QPL'21 ] doi:10.1007/978-3-030-85315-0_11
  BibTeX (hide)
  

  @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"
  }

2020

• Radio interview
  Interview by the radio show "El Faro - Un programa de ciencia" (FM Radio Noticias, Santa Rosa, La Pampa).
  [ RadioCut ] October 15, 2020.
• Polymorphic System I
  C. F. Sottile, A. Díaz-Caro, and P. E. Martínez López - (IFL 2020) - ACM Proceedings of IFL'20, pages 127-137, 2020
  Disclaimer (hide)
  

  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.

  [ arXiv | ACM ] doi:10.1145/3462172.3462198
  BibTeX (hide)
  

  @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",
  }

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

  @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",
  }

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

  @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"
  }

• Extended abstract: Runtime Analysis of Quantum Programs: A Formal Approach
  F. Olmedo and A. Díaz-Caro - (PLanQC 2020) - Extended abstract, 2020.
  [ arXiv | Abstract at PLanQC ]
  BibTeX (hide)
  

  @Misc{OlmedoDiazcaroPLanQC19,
      author = "Federico Olmedo and Alejandro D\'{\i}az-Caro",
      title = "Runtime Analysis of Quantum Programs: A Formal Approach",
      howpublished = "Extended abstract at PLanQC 2020: Programming Languages for Quantum Computing",
      note = "arXiv:1911.11247",
      year = "2020"
  }

2019

• Two linearities for quantum computing in the lambda calculus
  A. Díaz-Caro, G. Dowek, and J. P. Rinaldi - Postproceedings of TPNC'2017. Biosystems 186:104012, 2019.
  [ arXiv | BioSystems | Slides at CVQT'18] doi:10.1016/j.biosystems.2019.104012
  BibTeX (hide)
  

  @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"
  }

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

  @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"
  }

• Realizability in the Unitary Sphere
  A. Díaz-Caro, M. Guillermo, A. Miquel, and B. Valiron - LICS 2019.
  [ IEEE | arXiv ] doi:10.1109/LICS.2019.8785834
  BibTeX (hide)
  

  @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

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

  @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 concrete categorical semantics for Lambda-S
  A. Díaz-Caro and O. Malherbe - (LSFA 2018) - ENTCS 344:83-100, 2018.
  [ ENTCS | slides ] doi:10.1016/j.entcs.2019.07.006
  BibTeX (hide)
  

  @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

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

  @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"
  }

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

  @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 lambda calculus for density matrices with classical and probabilistic controls
  A. Díaz-Caro - (APLAS 2017) - LNCS 10695:448-467, 2017.
  [ arXiv | LNCS | slides ] doi:10.1007/978-3-319-71237-6_22
  BibTeX (hide)
  

  @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"
  }

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

  @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"
  }

2016

• ¿Qué es la computación cuántica?
  A. Díaz-Caro - Ciencia Hoy 25(150):40-44, 2016
  [ Ciencia Hoy ] ISSN: 0327-1218
• Retractions in intersection types
  M. Coppo, M. Dezani-Ciancaglini, A. Díaz-Caro, I. Margaria and M. Zacchi - (ITRS 2016) - EPTCS 242:31-47, 2017.
  [ EPTCS ] doi:10.4204/EPTCS.242.5
  BibTeX (hide)
  

  @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"
  }

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

  @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"
  }

2015

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

  @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

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

  @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

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

  @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"
  }

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

  @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

• Tras las huellas de la computación cuántica
  A. Díaz-Caro - Ensemble 9: Dossier Temático "Vidas y proyectos de jóvenes científicos argentinos", 2012
  [ PDF ] ISSN: 1852-5911
• Non determinism through type isomorphism
  A. Díaz-Caro and G. Dowek - (LSFA 2012) - EPTCS 113:137-144, 2013.
  [ EPTCS | slides ] doi:10.4204/EPTCS.113.13
  BibTeX (hide)
  

  @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 System F accounting for scalars
  P. Arrighi and A. Díaz-Caro - Logical Methods in Computer Science 8(1:11), 2012
  [ LMCS | slides ] doi:10.2168/LMCS-8(1:11)2012
  BibTeX (hide)
  

  @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"
  }

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

  @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"
  }

2011

• PhD Thesis: Du typage vectoriel
  A. Díaz-Caro. Advisor: P. Arrighi. Co-advisor: F. Prost - Université de Grenoble, France, Sep. 23, 2011
  [ pdf | slides | video (only the dissertation part) | TEL ]
  BibTeX (hide)
  

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

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

  @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"
  }

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

  @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

• Equivalence of algebraic λ-calculi - work-in-progress
  A. Díaz-Caro, S. Perdrix, C. Tasson, and B. Valiron - HOR 2010, Pre-proceedings, pp.6-11, Edinburgh, UK, July 14, 2010
  [ arXiv | slides | HOR 2010 site ] doi:10.13140/RG.2.1.2528.4961
  BibTeX (hide)
  

  @InProceedings{DiazcaroPerdrixTassonValironHOR10,
      author = "Alejandro D{\'\i}az-Caro and Simon Perdrix and Christine Tasson and Beno{\^\i}t Valiron",
      title = "Equivalence of Algebraic $\lambda$-calculi",
      booktitle = "Informal proceedings of {HOR}-2010",
      pages = "6--11",
      year = "2010",
      address = "Edinburgh, UK",
      month = jul # {~14,},
  }

2009

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

  @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-2007

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

  @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"
  }

• Master's Thesis: Agregando medición al cálculo de van Tonder
  A. Díaz-Caro. Advisors M. Gadella and P. E. Martínez López - Universidad Nacional de Rosario, Argentina, Dec. 21, 2007
  [ pdf | slides ]
  BibTeX (hide)
  

  @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,},
  }

Current students

PhD students

• Malena Ivnisky. UBA. Co-supervisor: O. Malherbe.
• Rafael Romero. UBA/CONICET. Co-supervisor: O. Malherbe.
• Cristian F. Sottile. UBA/CONICET. Co-supervisor: P. E. Martínez López.

Licenciatura students (equivalent to Master in the Bologna system)

• Ignacio Grima. Licenciatura thesis at UNR (DCC-FCEIA). Co-supervisor: P. E. Martínez López.
• Nicolás Monzón. Licenciatura thesis at UADE.
• Nicolás San Martín. Licenciatura thesis at UBA (DC-FCEN). Co-supervisor: P. E. Martínez López.
• Martín Villagra. Licenciatura thesis at UNR (DCC-FCEIA). Co-supervisor: P. E. Martínez López.

Past students

• 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.
  Paper under review (Submitted pdf, 2021).
   
• Francisco Noriega. Licenciatura thesis at UBA (DC-FCEN) defended on May 4, 2020.
  Thesis: The Vectorial Lambda Calculus Revisited.
  Paper under review (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 λ_ρ^°.
  One paper published at LSFA 2021 (EPTCS 357:18-24, 2021). A second paper under preparation.
   
• 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.
  Paper in preparation.
   
• 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).