Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. - Alejandro Díaz-Caro; Pablo Arrighi; Manuel Gadella; Jonathan Grattage (QPL/DCM@ICALP, 2008)

Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. - Pablo Arrighi; Alejandro Díaz-Caro (QPL@MFPS, 2009)

Sums in linear algebraic lambda-calculus - Alejandro Díaz-Caro; Barbara Petit (CoRR, 2010)

Subject reduction in a Curry-style polymorphic type system with a vectorial structure - Pablo Arrighi; Alejandro Díaz-Caro; Benoît Valiron (DCM, 2011)

Lower Bounds for Scalars in a Typed Algebraic λ-calculus - Pablo Buiras; Alejandro Díaz-Caro; Mauro Jaskelioff (LSFA, 2011)

Du typage vectoriel. (On vectorial typing). - Alejandro Díaz-Caro (2011)

Linearity in the Non-deterministic Call-by-Value Setting. - Alejandro Díaz-Caro; Barbara Petit (WoLLIC, 2012)

Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic - Pablo Arrighi; Alejandro Díaz-Caro (Log. Methods Comput. Sci., 2012)

Non determinism through type isomorphism - Alejandro Díaz-Caro; Gilles Dowek (LSFA, 2012)

Call-by-Value Non-determinism in a Linear Logic Type Discipline. - Alejandro Díaz-Caro; Giulio Manzonetto; Michele Pagani (LFCS, 2013)

The Vectorial Lambda-Calculus. - Pablo Arrighi; Alejandro Díaz-Caro; Benoît Valiron (CoRR, 2013)

The probability of non-confluent systems. - Alejandro Díaz-Caro; Gilles Dowek (DCM, 2013)

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus - Ali Assaf 002; Alejandro Díaz-Caro; Simon Perdrix; Christine Tasson; Benoît Valiron (Log. Methods Comput. Sci., 2014)

Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ+. - Alejandro Díaz-Caro; Pablo E. Martínez López (IFL, 2015)

Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+. - Alejandro Díaz-Caro; Pablo E. Martínez López (CoRR, 2015)

Affine Computation and Affine Automaton. - Alejandro Díaz-Caro; Abuzer Yakaryilmaz (CSR, 2016)

Retractions in Intersection Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Alejandro Díaz-Caro; Ines Margaria; Maddalena Zacchi (ITRS, 2016)

Quantum superpositions and projective measurement in the lambda calculus. - Alejandro Díaz-Caro; Gilles Dowek (CoRR, 2016)

A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. - Alejandro Díaz-Caro (APLAS, 2017)

Typing Quantum Superpositions and Measurement. - Alejandro Díaz-Caro; Gilles Dowek (TPNC, 2017)

A lambda calculus for density matrices. - Alejandro Díaz-Caro (CoRR, 2017)

Confluence in Probabilistic Rewriting. - Alejandro Díaz-Caro; Guido Martínez (LSFA, 2017)

The vectorial λ-calculus. - Pablo Arrighi; Alejandro Díaz-Caro; Benoît Valiron (Inf. Comput., 2017)

Classically Time-Controlled Quantum Automata. - Alejandro Díaz-Caro; Marcos Villagra (TPNC, 2018)

A Concrete Categorical Semantics of Lambda-S. - Alejandro Díaz-Caro; Octavio Malherbe (LSFA, 2018)

Realizability in the Unitary Sphere. - Alejandro Díaz-Caro; Mauricio Guillermo; Alexandre Miquel; Benoît Valiron (LICS, 2019)

Proof Normalisation in a Logic Identifying Isomorphic Propositions. - Alejandro Díaz-Caro; Gilles Dowek (FSCD, 2019)

Two linearities for quantum computing in the lambda calculus. - Alejandro Díaz-Caro; Gilles Dowek; Juan Pablo Rinaldi (Biosyst., 2019)

Runtime Analysis of Quantum Programs: A Formal Approach. - Federico Olmedo; Alejandro Díaz-Caro (CoRR, 2019)

Functional Pearl: The Distributive λ-Calculus. - Beniamino Accattoli; Alejandro Díaz-Caro (FLOPS, 2020)

Polymorphic System I. - Cristian F. Sottile; Alejandro Díaz-Caro; Pablo E. Martínez López (IFL, 2020)

A Categorical Construction for the Computational Definition of Vector Spaces. - Alejandro Díaz-Caro; Octavio Malherbe (Appl. Categorical Struct., 2020)

The Vectorial Lambda Calculus Revisited. - Francisco Noriega; Alejandro Díaz-Caro (CoRR, 2020)

A note on confluence in typed probabilistic lambda calculi. - Rafael Romero 002; Alejandro Díaz-Caro (LSFA, 2021)

A Quick Overview on the Quantum Control Approach to the Lambda Calculus. - Alejandro Díaz-Caro (LSFA, 2021)

Linear Lambda-Calculus is Linear. - Alejandro Díaz-Caro; Gilles Dowek (FSCD, 2022)

Semimodules and the (syntactically-)linear lambda calculus. - Alejandro Díaz-Caro; Octavio Malherbe (CoRR, 2022)

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. - Alejandro Díaz-Caro; Octavio Malherbe (Log. Methods Comput. Sci., 2022)

A feasible and unitary programming language with quantum control. - Alejandro Díaz-Caro; Emmanuel Hainry; Romain Péchoux; Mário Silva 001 (CoRR, 2023)

A new connective in natural deduction, and its application to quantum computing. - Alejandro Díaz-Caro; Gilles Dowek (Theor. Comput. Sci., 2023)

Extensional proofs in a propositional logic modulo isomorphisms. - Alejandro Díaz-Caro; Gilles Dowek (Theor. Comput. Sci., 2023)

A Linear Proof Language for Second-Order Intuitionistic Linear Logic. - Alejandro Díaz-Caro; Gilles Dowek; Malena Ivnisky; Octavio Malherbe (WoLLIC, 2024)

Parallel and algebraic lambda-calculi in intuitionistic propositional logic. - Alejandro Díaz-Caro; Octavio Malherbe (CoRR, 2024)

A concrete model for a typed linear algebraic lambda calculus. - Alejandro Díaz-Caro; Octavio Malherbe (Math. Struct. Comput. Sci., 2024)

A linear linear lambda-calculus. - Alejandro Díaz-Caro; Gilles Dowek (Math. Struct. Comput. Sci., 2024)

Towards a Computational Quantum Logic - An Overview of an Ongoing Research Program. - Alejandro Díaz-Caro (CiE, 2025)

Classically time-controlled quantum automata: definition and properties. - Alejandro Díaz-Caro; Marcos Villagra (Comput. J., 2025)

A new introduction rule for disjunction. - Alejandro Díaz-Caro; Gilles Dowek (CoRR, 2025)

An Algebraic Extension of Intuitionistic Linear Logic: The L!S-Calculus and Its Categorical Model. - Alejandro Díaz-Caro; Malena Ivnisky; Octavio Malherbe (CoRR, 2025)

Expectation-based Analysis of Higher-Order Quantum Programs. - Martin Avanzini; Alejandro Díaz-Caro; Emmanuel Hainry; Romain Péchoux (CoRR, 2025)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. - Kinnari Dave; Alejandro Díaz-Caro; Vladimir Zamdzhiev (CoRR, 2025)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. - Alejandro Díaz-Caro; Nicolas A. Monzon (CoRR, 2025)