Concepedia

Alejandro Díaz-Caro

AD

Statistics

Publications

9

Citations

163

H-Index

9

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

Université Paris-Saclay

Alejandro Díaz-Caro is an author at National University of Quilmes specializing in computer science, computing, and quantum lambda calculus.

ORCID

Publications per year

2011–2023

9

Publications

9

The vectorial λ-calculus

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron · Information and Computation · 2017 · 26 citations · Full text

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 · 24 citations · Full text

, , +12

Two linearities for quantum computing in the lambda calculus

Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi · Biosystems · 2019 · 23 citations · Full text

, , +12

Realizability in the Unitary Sphere

Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2019 · 21 citations · Full text

, , +12

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

, , +16

1–5 of 9