Alejandro Díaz-Caro

1. Runtime Analysis of Quantum Programs: A Formal Approach
   2019/11/25 by Federico Olmedo, Alejandro Díaz-Caro, Olmedo, Federico +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, Gilles Dowek, Díaz-Caro, Alejandro +1 · 1 citation
   Physics and Astronomy · Computer Science · #Quantum Mechanics and Applications #Logic, programming, and type systems #Quantum Computing Algorithms and Architecture