Alejandro Díaz-Caro
Scholar

Alejandro Díaz-Caro

Google Scholar ID: IP0zbzYAAAAJ
Inria-Mocqua, LORIA (France) & Universidad Nacional de Quilmes (Argentina)
Type theoryquantum computingrewritinglogiclambda calculus
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
368
 
H-index
12
 
i10-index
13
 
Publications
20
 
Co-authors
19
list available
Contact
No contact links provided.
Publications
8 items
Basis-Sensitive Quantum Typing via Realisability
2025
Cited
0
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
2025
Cited
0
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
2025
Cited
0
An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
2025
Cited
0
Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
2025
Cited
0
A new introduction rule for disjunction
2025
Cited
1
A Concrete Model for Disjunction in Parallel and Algebraic Lambda Calculi
2024
Cited
2
The Sup Connective in IMALL: A Categorical Semantics
2022
Cited
5
Resume (English only)
Co-authors
19 total
Co-author 1
Co-author 1
Pablo Arrighi
Pablo Arrighi
Professor in Computer Science, Université Paris-Saclay and Inria
Simon Perdrix
Simon Perdrix
Senior Researcher, Inria-Mocqua, LORIA
Christine Tasson
Christine Tasson
Professor
Co-author 5
Co-author 5
Michele Pagani
Michele Pagani
Professor of Computer Science, ENS de Lyon
Giulio Manzonetto
Giulio Manzonetto
Université Paris Cité
Marcos Villagra
Marcos Villagra
Bagel Labs 🥯