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
arXiv preprint arXiv:0903.3741, 2009
412009
The vectorial λ-calculus
P Arrighi, A Díaz-Caro, B Valiron
Information and Computation 254, 105-139, 2017
272017
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
252011
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
242012
Call-by-value, call-by-name and the vectorial behaviour of the algebraic\lambda-calculus
B Valiron, C Tasson, S Perdrix, A Díaz-Caro, A Assaf
Logical Methods in Computer Science 10, 2014
222014
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
222010
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
Call-by-value non-determinism in a linear logic type discipline
A Díaz-Caro, G Manzonetto, M Pagani
International Symposium on Logical Foundations of Computer Science, 164-178, 2013
202013
Typing quantum superpositions and measurement
A Díaz-Caro, G Dowek
International Conference on Theory and Practice of Natural Computing, 281-293, 2017
182017
Affine computation and affine automaton
A Díaz-Caro, A Yakaryılmaz
International Computer Science Symposium in Russia, 146-160, 2016
172016
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
152019
Equivalence of algebraic λ-calculi
A Díaz-Caro, S Perdrix, C Tasson, B Valiron
Informal proceedings of HOR, 6-11, 2010
152010
Simply typed lambda-calculus modulo type isomorphisms
A Dıaz-Caro, G Dowek
Draft at https://hal. inria. fr/hal-01109104, 2015
132015
Two linearities for quantum computing in the lambda calculus
A Díaz-Caro, G Dowek, JP Rinaldi
BioSystems 186, 104012, 2019
102019
Confluence in probabilistic rewriting
A Díaz-Caro, G Martinez
Electronic Notes in Theoretical Computer Science 338, 115-131, 2018
102018
A concrete categorical semantics of Lambda-S
A Díaz-Caro, O Malherbe
Electronic Notes in Theoretical Computer Science 344, 83-100, 2019
92019
Du typage vectoriel
A Diaz Caro
Grenoble, 2011
92011
Confluence via strong normalisation in an algebraic\lambda-calculus with rewriting
P Buiras, A Díaz-Caro, M Jaskelioff
arXiv preprint arXiv:1102.0749, 2011
92011
A lambda calculus for density matrices with classical and probabilistic controls
A Díaz-Caro
Asian Symposium on Programming Languages and Systems, 448-467, 2017
82017
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ+
A Díaz-Caro, PE Martínez López
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20