26 citations · 185 across the 21 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017★ 15 cited
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…
cs.LO2017★ 4 cited
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…
cs.LO2017★ 1 cited
Retractions in Intersection Types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro +2
This paper deals with retraction - intended as isomorphic embedding - in intersection types building left and right inverses as terms of a lambda calculus with a bottom constant. T…