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
Grants
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-S1 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
|