6 citations · 10 across the 4 of their papers we have counts for
4 papers
The Sup Connective in IMALL: A Categorical Semantics
Alejandro Díaz-Caro, Octavio Malherbe
We explore a proof language for intuitionistic multiplicative additive linear logic, incorporating the sup connective that introduces additive pairs with a probabilistic eliminatio…
A Quick Overview on the Quantum Control Approach to the Lambda Calculus
Alejandro Díaz-Caro
In this short overview, we start with the basics of quantum computing, explaining the difference between the quantum and the classical control paradigms. We give an overview of the…
A linear linear lambda-calculus
Alejandro Díaz-Caro, Gilles Dowek
We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this lan…
A Note on Confluence in Typed Probabilistic Lambda Calculi
Rafael Romero, Alejandro Díaz-Caro
On the topic of probabilistic rewriting, there are several works studying both termination and confluence of different systems. While working with a lambda calculus modelling quant…