26 citations · 185 across the 21 of their papers we have counts for
21 papers
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…
Classically Time-Controlled Quantum Automata: Definition and Properties
Alejandro Díaz-Caro, Marcos Villagra
In this paper, we introduce classically time-controlled quantum automata or CTQA, which is a reasonable modification of Moore-Crutchfield quantum finite automata that uses time-dep…
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…