Concepedia
Statistics
Publications
8
Citations
134
H-Index
Active since
2011
Affiliations
National University of Quilmes(Current)
Consejo Nacional de Investigaciones Científicas y Técnicas
National University of Rosario
École Normale Supérieure Paris-Saclay
Universidad de Buenos Aires
Alejandro Díaz-Caro is an author at National University of Quilmes specializing in engineering, quantum science, and quantum computing.
Top concepts
EngineeringFormal MethodsQuantum ScienceComputer ScienceQuantum ComputingFunctional AnalysisQuantum Entanglement
Publications per year
2011–2023
The vectorial λ-calculus
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron · Information and Computation · 2017 · 24 citations · Full text
Vectorial λ-Calculus, Lambda Calculus, Functional Analysis
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix et al. · Logical Methods in Computer Science · 2014 · 22 citations · Full text
Algebraic Logic, Canonical Languages, Engineering +12
Two linearities for quantum computing in the lambda calculus
Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi · Biosystems · 2019 · 22 citations
Quantum Science, Engineering, Quantum Computing +3
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
Alejandro Díaz-Caro, Pablo Arrighi, M. Gadella et al. · Electronic Notes in Theoretical Computer Science · 2011 · 16 citations · Full text
Confluence in Probabilistic Rewriting
Alejandro Díaz-Caro, Guido Martínez · Electronic Notes in Theoretical Computer Science · 2018 · 16 citations · Full text
1–5 of 8