Díaz-Caro, Alejandro

1. Runtime Analysis of Quantum Programs: A Formal Approach
   2019/11/25 by Federico Olmedo, Olmedo, Federico, Alejandro Díaz-Caro +1 · 1 citation
   Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications
2. A linear linear lambda-calculus
   2022/01/26 by Alejandro Díaz-Caro, Díaz-Caro, Alejandro, Gilles Dowek +1 · 1 citation
   Physics and Astronomy · Computer Science · #Quantum Mechanics and Applications #Logic, programming, and type systems #Quantum Computing Algorithms and Architecture
3. The Sup Connective in IMALL: A Categorical Semantics
   2022/05/04 by Díaz-Caro, Alejandro, Malherbe, Octavio · 1 citation
   #18M45 03F52 03B70 #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)