I am part of the teams LoReL, on "Logic and Rewritting for Languages", and of QuICC on "Quantum Information, Computation, and Communication". I am also member of the LDPL team of the Laboratoire International Associé SINFIN.

11/2020 - Present "Investigador Adjunto" (Tenured Researcher) at CONICET.

04/2018 - Present Attached at the ICC (FCEN-Universidad de Buenos Aires).

07/2016 - 11/2020 "Investigador Asistente" (Tenured Researcher) at CONICET.

01/2016 - 07/2016 Visiting researcher at Universià degli Studi di Torino in the Dipartimento di Informatica, funded by a "World Wide Style Project".

08/2014 - Present "Profesor Adjunto" (Tenured Assistant Professor) at Universidad Nacional de Quilmes. (RAICES PRI-PIDRI).

10/2012 - 08/2014 Non-tenured teaching and research position (ATER) at Université Paris Ouest Nanterre La Défense, in the Département de Mathématique et d'Informatique and associated member of the Deducteam team at INRIA Paris-Rocquencourt.

10/2011 - 09/2012 Postdoc at Université Paris 13, the LIPN laboratory, within the LCR team.

10/2008 - 09/2011 PhD student within the CAPP team at the LIG Laboratory of the Université de Grenoble, with Pablo Arrighi as advisor and Frédéric Prost as co-advisor. The thesis defense happened on September 23, 2011. You can download my thesis “Du typage vectoriel”, as well as the slides used during the presentation, and even a video, in the publications section bellow.

12/2007 graduated in Computer Science from the Universidad Nacional de Rosario.

Next events

• 5-9 July 2021: 18th International Conference on Quantum Physics and Logic (QPL2021)
• 17-24 July 2021: 6th International Conference on Formal Structures for Computation and Deduction (FSCD2021)
• 26-30 July 2021: 34th Informatics Sciences School (ECI2021).
• 27 September-1 October 2021: XXV Brazilian Symposium on Programming Languages (SBLP2021)

Grants

• 21STIC10 Qapla' - 01/2021 - 12/2022 (hide)
  
  Quantum Aspects of Programming Languages
  Funded by Inria, CNRS, ANID, and ANII
  International coordinator: A. Díaz-Caro (UNQ & ICC (UBA/CONICET))
  Chilean coordinator: F. Olmedo (UChile)
  Uruguayan coordinator: O. Malherbe (UdelaR)
  French coordinators: G. Dowek (Inria, LSV, ENS Paris-Saclay) - S. Perdrix (CNRS/LORIA) - P. Arrighi (Aix-Marseille) - B. Valiron (CentraleSupélec)
  Other participants: M. Guillermo - P. E. Martínez López - H. Melgratti - A. Miquel - J. Kaizer Vizzotto
  PhD students and posdocs: A. Borgna - T. Carette - F. Castro - K Chardonnet - A. Clément - N. Durbec - N. Eon - D-H. Lee - M. Ivnisky - R. Romero - C. Sottile - M. Veshchezerova - V. Zamdzhiev
  
• PUNQ 1342/19 - 05/2019 - 04/2021 (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
  
• ECOS-Sud A17C03 QuCa - 01/2018 - 12/2020 (hide)
  
  Quantum Calculi
  Funded by MinCyT and ECOS France
  Argentine Director: A. Díaz-Caro (UNQ/CONICET)
  French Director: G. Dowek (Inria, LSV, ENS Paris-Saclay)
  Permanent members:
  P. Arrighi (Aix-Marseille) - J.-Y. Marion (LORIA) - P. E. Martínez López (UNQ) - S. Perdrix (CNRS/LORIA) - B. Valiron (CentraleSupélec)
  Non permanent members (Postdoc, PhD students and Masters students):
  S. Facchini - T. Gaubault de Brugière - I. Marquez - R. Vilmart - A. Borgna - I. Grima - M. Ivnisky - F. Noriega - J. P. Rinaldi - A. Rodas - R. Romero - D. Zonneveld
  
  
• PICT-2015-1208 - 03/2017 - 03/2020 (hide)
  
  Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional
  Funded by Agencia Nacional de Promoción Científica y Tecnológica
  Director: A. Díaz-Caro
  
  
• PUNQ 1425/15 & 1370/17 - 05/2015 - 04/2019 (hide)
  
  Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos
  Funded by Universidad Nacional de Quilmes
  Director: A. Díaz-Caro. Co-director: P. E. Martínez López
  
• 16STIC05 FoQCoSS - 01/2016 - 12/2017 (hide)
  
  Foundations of Quantum Computation: Syntax and Semantics
  Funded by CAPES, MinCyT, Inria and MAEDI
  Argentinean coordinator: A. Díaz-Caro (UNQ/CONICET)
  Brazilian coordinator: J. Kaizer Vizzotto (UFSM)
  French coordinators: G. Dowek (Inria, LSV, ENS Paris-Saclay) - S. Perdrix (CNRS/LORIA) - P. Arrighi (Aix-Marseille) - B. Valiron (CentraleSupélec)
  Other participants: S. Facchini - S. Martiel - J. C. Puiati - G. Senno - R. Vilmart
  
  

Submitted papers and drafts

• A new connective in natural deduction, and its application to quantum computing
  A. Díaz-Caro and G. Dowek - arXiv:2012.08994 - 2020
  [ arXiv ]
  BibTeX (hide)
  

  @Misc{MalherbeDiazcaro2020b,
      author = "D\'{\i}az-Caro, Alejandro and Dowek, Gilles",
      title = "A new connective in natural deduction, and its application to quantum computing",
      year = "2020",
      howpublished = "Draft at {\tt arXiv:2012.08994}"
  }

• Quantum control in the unitary sphere: Lambda-S₁ and its categorical model
  A. Díaz-Caro and O. Malherbe - arXiv:2012.05887 - 2020
  [ arXiv ]
  BibTeX (hide)
  

  @Misc{MalherbeDiazcaro2020b,
      author = "D\'{\i}az-Caro, Alejandro and Malherbe, Octavio",
      title = "Quantum control in the unitary sphere: Lambda-$\mathcal S_1$ and its categorical model",
      year = "2020",
      howpublished = "Draft at {\tt arXiv:2012.05887}"
  }

• Polymorphic System I
  A. Díaz-Caro, P. E. Martínez López, and C. F. Sottile - arXiv:2101.03215 - 2020
  [ arXiv | IFL draft proeedings ]
  BibTeX (hide)
  

  @Misc{MartinezlopezDiazcaroSottile20,
      author = "D\'iaz-Caro, Alejandro and Mart\'inez L\'opez, Pablo E. and Sottile, Cristian",
      title = "Polymorphic System I",
      year = "2020",
      howpublished = "Draft at {\tt arXiv:2101.03215}"
  }

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

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

• A concrete model for a typed linear algebraic lambda calculus
  A. Díaz-Caro and O. Malherbe - arXiv:1806.09236 - 2020
  [ arXiv ] Long revisited journal version of ENTCS 344:83-100, 2018
  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}"
  }

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

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

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

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

Publications

International peer-reviewed papers

• 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{DiazcaroMalherbeACS20,
      author = "D\'{\i}az-Caro, Alejandro and Malherbe, Octavio",
      title = "A Categorical Construction for the Computational Definition of Vector Spaces",
      year = "2020",
      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"
  }

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

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

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

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

• 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 (free download) | 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",
  }

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

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

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

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

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

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

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

Theses

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

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

Science popularisation

• Radio interview
  Interview by the radio show "El Faro - Un programa de ciencia" (FM Radio Noticias, Santa Rosa, La Pampa).
  [ RadioCut ] October 15, 2020.
• ¿Qué es la computación cuántica?
  A. Díaz-Caro - Ciencia Hoy 25(150):40-44, 2016
  [ Ciencia Hoy ] ISSN: 0327-1218
• 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

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.
   
• 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, 2020).
   
• 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 λ_ρ^°.
   
• 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.
   
• 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).