Alejandro Díaz-Caro

According to our database, Alejandro Díaz-Caro authored at least 44 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A concrete model for a typed linear algebraic lambda calculus.

Alejandro Díaz-Caro, Octavio Malherbe

Math. Struct. Comput. Sci., 2024

Parallel and algebraic lambda-calculi in intuitionistic propositional logic.

Alejandro Díaz-Caro, Octavio Malherbe

CoRR, 2024

A Linear Proof Language for Second-Order Intuitionistic Linear Logic.

Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe

Proceedings of the Logic, Language, Information, and Computation, 2024

2023

Extensional proofs in a propositional logic modulo isomorphisms.

Alejandro Díaz-Caro, Gilles Dowek

Theor. Comput. Sci., October, 2023

A new connective in natural deduction, and its application to quantum computing.

Alejandro Díaz-Caro, Gilles Dowek

Theor. Comput. Sci., May, 2023

A feasible and unitary programming language with quantum control.

Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva

CoRR, 2023

2022

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model.

Alejandro Díaz-Caro, Octavio Malherbe

Log. Methods Comput. Sci., 2022

Semimodules and the (syntactically-)linear lambda calculus.

Alejandro Díaz-Caro, Octavio Malherbe

CoRR, 2022

Linear Lambda-Calculus is Linear.

Alejandro Díaz-Caro, Gilles Dowek

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

A Quick Overview on the Quantum Control Approach to the Lambda Calculus.

Alejandro Díaz-Caro

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

A note on confluence in typed probabilistic lambda calculi.

Rafael Romero, Alejandro Díaz-Caro

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

2020

The Vectorial Lambda Calculus Revisited.

Francisco Noriega, Alejandro Díaz-Caro

CoRR, 2020

A Categorical Construction for the Computational Definition of Vector Spaces.

Alejandro Díaz-Caro, Octavio Malherbe

Appl. Categorical Struct., 2020

Polymorphic System I.

Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Functional Pearl: The Distributive λ-Calculus.

Beniamino Accattoli, Alejandro Díaz-Caro

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Runtime Analysis of Quantum Programs: A Formal Approach.

Federico Olmedo, Alejandro Díaz-Caro

CoRR, 2019

Two linearities for quantum computing in the lambda calculus.

Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi

Biosyst., 2019

Proof Normalisation in a Logic Identifying Isomorphic Propositions.

Alejandro Díaz-Caro, Gilles Dowek

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Realizability in the Unitary Sphere.

Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

A Concrete Categorical Semantics of Lambda-S.

Alejandro Díaz-Caro, Octavio Malherbe

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Classically Time-Controlled Quantum Automata.

Alejandro Díaz-Caro, Marcos Villagra

Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018

2017

The vectorial λ-calculus.

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Inf. Comput., 2017

Confluence in Probabilistic Rewriting.

Alejandro Díaz-Caro, Guido Martínez

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

A lambda calculus for density matrices.

Alejandro Díaz-Caro

CoRR, 2017

Typing Quantum Superpositions and Measurement.

Alejandro Díaz-Caro, Gilles Dowek

Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls.

Alejandro Díaz-Caro

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Quantum superpositions and projective measurement in the lambda calculus.

Alejandro Díaz-Caro, Gilles Dowek

CoRR, 2016

Retractions in Intersection Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi

Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016

Affine Computation and Affine Automaton.

Alejandro Díaz-Caro, Abuzer Yakaryilmaz

Proceedings of the Computer Science - Theory and Applications, 2016

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

Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ⁺.

Alejandro Díaz-Caro, Pablo E. Martínez López

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2014

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron

Log. Methods Comput. Sci., 2014

2013

The probability of non-confluent systems.

Alejandro Díaz-Caro, Gilles Dowek

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

The Vectorial Lambda-Calculus.

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

CoRR, 2013

Call-by-Value Non-determinism in a Linear Logic Type Discipline.

Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012

Non determinism through type isomorphism

Alejandro Díaz-Caro, Gilles Dowek

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 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

Linearity in the Non-deterministic Call-by-Value Setting.

Alejandro Díaz-Caro, Barbara Petit

Proceedings of the Logic, Language, Information and Computation, 2012

2011

Du typage vectoriel. (On vectorial typing).

Alejandro Díaz-Caro

PhD thesis, 2011

Lower Bounds for Scalars in a Typed Algebraic λ-calculus

Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

Subject reduction in a Curry-style polymorphic type system with a vectorial structure

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011

2010

Sums in linear algebraic lambda-calculus

Alejandro Díaz-Caro, Barbara Petit

CoRR, 2010

2009

Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic.

Pablo Arrighi, Alejandro Díaz-Caro

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2008

Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits.

Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008