| 2025 | APLAS | IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. | Kinnari Dave, Alejandro Daz-Caro, Vladimir Zamdzhiev |
| 2025 | APLAS | A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. | Alejandro Daz-Caro, Nicolas A. Monzon |
| 2025 | CiE | Towards a Computational Quantum Logic - An Overview of an Ongoing Research Program. | Alejandro Daz-Caro |
| 2024 | WoLLIC | A Linear Proof Language for Second-Order Intuitionistic Linear Logic. | Alejandro Daz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe |
| 2022 | FSCD | Linear Lambda-Calculus is Linear. | Alejandro Daz-Caro, Gilles Dowek |
| 2021 | ICTAC | A New Connective in Natural Deduction, and Its Application to Quantum Computing. | Alejandro Daz-Caro, Gilles Dowek |
| 2020 | FLOPS | Functional Pearl: The Distributive λ-Calculus. | Beniamino Accattoli, Alejandro Daz-Caro |
| 2019 | LICS | Realizability in the Unitary Sphere. | Alejandro Daz-Caro, Mauricio Guillermo, Alexandre Miquel, Benot Valiron |
| 2017 | APLAS | A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. | Alejandro Daz-Caro |
| 2016 | CSR | Affine Computation and Affine Automaton. | Alejandro Daz-Caro, Abuzer Yakaryilmaz |
| 2013 | LFCS | Call-by-Value Non-determinism in a Linear Logic Type Discipline. | Alejandro Daz-Caro, Giulio Manzonetto, Michele Pagani |
| 2012 | WoLLIC | Linearity in the Non-deterministic Call-by-Value Setting. | Alejandro Daz-Caro, Barbara Petit |