Alejandro Díaz-Caro

Latest

• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
• A Quick Overview on the Quantum Control Approach to the Lambda Calculus
• A New Connective in Natural Deduction, and Its Application to Quantum Computing
• Two linearities for quantum computing in the lambda calculus
• Realizability in the Unitary Sphere
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• Typing Quantum Superpositions and Measurement
• Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits