Alejandro Díaz-Caro

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 43

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
A Linear Proof Language for Second-Order Intuitionistic Linear Logic. WoLLIC (2024)
Alejandro Díaz-Caro, Octavio Malherbe
A concrete model for a typed linear algebraic lambda calculus. Math. Struct. Comput. Sci. 34 (1) (2024)
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
A linear proof language for second-order intuitionistic linear logic. CoRR (2023)
Alejandro Díaz-Caro, Gilles Dowek
A new connective in natural deduction, and its application to quantum computing. Theor. Comput. Sci. 957 (2023)
Alejandro Díaz-Caro, Gilles Dowek
Extensional proofs in a propositional logic modulo isomorphisms. Theor. Comput. Sci. 977 (2023)
Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva
A feasible and unitary programming language with quantum control. CoRR (2023)
Alejandro Díaz-Caro, Octavio Malherbe
Non-determinism in a linear logic type discipline: A concrete categorical perspective. CoRR (2023)
Alejandro Díaz-Caro, Gilles Dowek
Linear lambda-calculus is linear. CoRR (2022)
Alejandro Díaz-Caro, Octavio Malherbe
Semimodules and the (syntactically-)linear lambda calculus. CoRR (2022)
Alejandro Díaz-Caro, Gilles Dowek
Linear Lambda-Calculus is Linear. FSCD (2022)
Alejandro Díaz-Caro, Octavio Malherbe
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. Log. Methods Comput. Sci. 18 (3) (2022)
Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López
Polymorphic System I. CoRR (2021)
Rafael Romero, Alejandro Díaz-Caro
A note on confluence in typed probabilistic lambda calculi. CoRR (2021)
Alejandro Díaz-Caro
A Quick Overview on the Quantum Control Approach to the Lambda Calculus. LSFA (2021)
Alejandro Díaz-Caro, Gilles Dowek
A New Connective in Natural Deduction, and Its Application to Quantum Computing. ICTAC (2021)
Francisco Noriega, Alejandro Díaz-Caro
The Vectorial Lambda Calculus Revisited. CoRR (2020)
Alejandro Díaz-Caro, Gilles Dowek
A New Connective in Natural Deduction, and its Application to Quantum Computing. CoRR (2020)
Alejandro Díaz-Caro, Gilles Dowek
Extensional proofs in a propositional logic modulo isomorphisms. CoRR (2020)
Alejandro Díaz-Caro, Octavio Malherbe
A Categorical Construction for the Computational Definition of Vector Spaces. Appl. Categorical Struct. 28 (5) (2020)
Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López
Polymorphic System I. IFL (2020)
Alejandro Díaz-Caro, Octavio Malherbe
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. CoRR (2020)
Beniamino Accattoli, Alejandro Díaz-Caro
Functional Pearl: The Distributive λ-Calculus. CoRR (2020)
Beniamino Accattoli, Alejandro Díaz-Caro
Functional Pearl: The Distributive λ-Calculus. FLOPS (2020)
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
Realizability in the Unitary Sphere. LICS (2019)
Federico Olmedo, Alejandro Díaz-Caro
Runtime Analysis of Quantum Programs: A Formal Approach. CoRR (2019)
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
Realizability in the Unitary Sphere. CoRR (2019)
Alejandro Díaz-Caro, Octavio Malherbe
A categorical construction for the computational definition of vector spaces. CoRR (2019)
Alejandro Díaz-Caro, Gilles Dowek
Proof Normalisation in a Logic Identifying Isomorphic Propositions. FSCD (2019)
Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi
Two linearities for quantum computing in the lambda calculus. Biosyst. 186 (2019)
Alejandro Díaz-Caro, Octavio Malherbe
A Concrete Categorical Semantics of Lambda-S. LSFA (2018)
Alejandro Díaz-Caro, Marcos Villagra
Classically Time-Controlled Quantum Automata. CoRR (2018)
Alejandro Díaz-Caro, Octavio Malherbe
A concrete categorical semantics of Lambda-S. CoRR (2018)
Alejandro Díaz-Caro, Marcos Villagra
Classically Time-Controlled Quantum Automata. TPNC (2018)
Alejandro Díaz-Caro
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. APLAS (2017)
Alejandro Díaz-Caro, Guido Martínez
Confluence in Probabilistic Rewriting. LSFA (2017)
Alejandro Díaz-Caro
A lambda calculus for density matrices. CoRR (2017)
Alejandro Díaz-Caro, Gilles Dowek
Typing Quantum Superpositions and Measurement. TPNC (2017)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
The vectorial λ-calculus. Inf. Comput. 254 (2017)
Alejandro Díaz-Caro, Guido Martínez
Confluence in Probabilistic Rewriting. CoRR (2017)
Alejandro Díaz-Caro, Abuzer Yakaryilmaz
Affine computation and affine automaton. CoRR (2016)
Alejandro Díaz-Caro, Abuzer Yakaryilmaz
Affine Computation and Affine Automaton. CSR (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
Retractions in Intersection Types. ITRS (2016)
Alejandro Díaz-Caro, Gilles Dowek
Quantum superpositions and projective measurement in the lambda calculus. CoRR (2016)
Alejandro Díaz-Caro, Pablo E. Martínez López
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+. CoRR (2015)
Alejandro Díaz-Caro, Pablo E. Martínez López
. IFL (2015)
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Log. Methods Comput. Sci. 10 (4) (2014)
Alejandro Díaz-Caro, Gilles Dowek
The probability of non-confluent systems. DCM (2013)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
The Vectorial Lambda-Calculus. CoRR (2013)
Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
Call-by-Value Non-determinism in a Linear Logic Type Discipline. LFCS (2013)
Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
Call-by-value non-determinism in a linear logic type discipline. CoRR (2013)
Pablo Arrighi, Alejandro Díaz-Caro
Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic Log. Methods Comput. Sci. 8 (1) (2012)
Alejandro Díaz-Caro, Barbara Petit
Linearity in the Non-deterministic Call-by-Value Setting. WoLLIC (2012)
Alejandro Díaz-Caro, Gilles Dowek
Non determinism through type isomorphism LSFA (2012)
Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff
Lower Bounds for Scalars in a Typed Algebraic λ-calculus LSFA (2011)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
Subject reduction in a Curry-style polymorphic type system with a vectorial structure DCM (2011)
Pablo Arrighi, Alejandro Díaz-Caro
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Alejandro Díaz-Caro, Barbara Petit
Sums in linear algebraic lambda-calculus CoRR (2010)

Alejandro Díaz-Caro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alejandro Díaz-Caro