Follow
Alejandro Díaz-Caro
Alejandro Díaz-Caro
Instituto de Ciencias de la Computación (UBA/CONICET) & Universidad de Quilmes
Verified email at icc.fcen.uba.ar - Homepage
Title
Cited by
Cited by
Year
A System F accounting for scalars
P Arrighi, A Díaz-Caro
Logical Methods in Computer Science 8, 2012
452012
The vectorial λ-calculus
P Arrighi, A Díaz-Caro, B Valiron
Information and Computation 254, 105-139, 2017
372017
Linearity in the non-deterministic call-by-value setting
A Díaz-Caro, B Petit
International Workshop on Logic, Language, Information, and Computation, 216-231, 2012
34*2012
Realizability in the unitary sphere
A Díaz-Caro, M Guillermo, A Miquel, B Valiron
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
242019
Call-by-value, call-by-name and the vectorial behaviour of the algebraic\lambda-calculus
A Assaf, A Díaz-Caro, S Perdrix, C Tasson, B t Valiron
Logical Methods in Computer Science 10, 2014
242014
Scalar system F for linear-algebraic λ-calculus: Towards a quantum physical logic
P Arrighi, A Díaz-Caro
Electronic Notes in Theoretical Computer Science 270 (2), 219-229, 2011
232011
Typing quantum superpositions and measurement
A Díaz-Caro, G Dowek
International Conference on Theory and Practice of Natural Computing, 281-293, 2017
212017
Call-by-value non-determinism in a linear logic type discipline
A Díaz-Caro, G Manzonetto, M Pagani
Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013
212013
Measurements and confluence in quantum lambda calculi with explicit qubits
A Díaz-Caro, P Arrighi, M Gadella, J Grattage
Electronic Notes in Theoretical Computer Science 270 (1), 59-74, 2011
212011
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
P Arrighi, A Díaz-Caro, B Valiron
arXiv preprint arXiv:1012.4032, 2010
212010
Affine computation and affine automaton
A Díaz-Caro, A Yakaryılmaz
Computer Science–Theory and Applications: 11th International Computer …, 2016
202016
Two linearities for quantum computing in the lambda calculus
A Díaz-Caro, G Dowek, JP Rinaldi
BioSystems 186, 104012, 2019
152019
Equivalence of algebraic λ-calculi
A Díaz-Caro, S Perdrix, C Tasson, B Valiron
Informal proceedings of HOR, 6-11, 2010
142010
A lambda calculus for density matrices with classical and probabilistic controls
A Díaz-Caro
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017
132017
Simply typed lambda-calculus modulo type isomorphisms
A Dıaz-Caro, G Dowek
Draft at https://hal. inria. fr/hal-01109104, 2015
132015
A new connective in natural deduction, and its application to quantum computing
A Díaz-Caro, G Dowek
Theoretical Computer Science 957, 113840, 2023
122023
Confluence in probabilistic rewriting
A Díaz-Caro, G Martinez
Electronic Notes in Theoretical Computer Science 338, 115-131, 2018
122018
Quantum control in the unitary sphere: Lambda-S1 and its categorical model
A Díaz-Caro, O Malherbe
Logical Methods in Computer Science 18, 2022
112022
A concrete categorical semantics of Lambda-S
A Díaz-Caro, O Malherbe
Electronic Notes in Theoretical Computer Science 344, 83-100, 2019
112019
Du typage vectoriel
A Diaz Caro
Grenoble, 2011
92011
The system can't perform the operation now. Try again later.
Articles 1–20