26 citations · 185 across the 21 of their papers we have counts for
17 papers · 1 filter
Functional Pearl: The Distributive -Calculus
Beniamino Accattoli, Alejandro Díaz-Caro
We introduce a simple extension of the -calculus with pairs---called the distributive -calculus---obtained by adding a computational interpretation of the valid distributivit…
A categorical construction for the computational definition of vector spaces
Alejandro Díaz-Caro, Octavio Malherbe
Lambda-S is an extension to first-order lambda calculus unifying two approaches of non-cloning in quantum lambda-calculi. One is to forbid duplication of variables, while the other…
Realizability in the Unitary Sphere
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel +1
In this paper we present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a lo…
A concrete model for a typed linear algebraic lambda calculus
Alejandro Díaz-Caro, Octavio Malherbe
We give an adequate, concrete, categorical-based model for Lambda-S, which is a typed version of a linear-algebraic lambda calculus, extended with measurements. Lambda-S is an exte…
Confluence in Probabilistic Rewriting
Alejandro Díaz-Caro, Guido Martínez
Driven by the interest of reasoning about probabilistic programming languages, we set out to study a notion of unicity of normal forms for them. To provide a tractable proof method…
A lambda calculus for density matrices with classical and probabilistic controls
Alejandro Díaz-Caro
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, , follows the approach of classical control/quantum data, where the quantum…