26 citations · 185 across the 21 of their papers we have counts for
3 papers · 1 filter
Call-by-value non-determinism in a linear logic type discipline
Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the re…
The Vectorial -Calculus
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
We describe a type system for the linear-algebraic -calculus. The type system accounts for the linear-algebraic aspects of this extension of -calculus: it is able to statical…
Non determinism through type isomorphism
Alejandro Díaz-Caro, Gilles Dowek
We define an equivalence relation on propositions and a proof system where equivalent propositions have the same proofs. The system obtained this way resembles several known non-de…