2 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Universidad de la República de UruguayUY3 papers
- National University of QuilmesAR2 papers
- Centre Inria de SaclayFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR1 paper
- Universidad Argentina de la EmpresaAR1 paper
- Universidad de Buenos AiresAR1 paper
- Universidad de MontevideoUY1 paper
- Université de LorraineFR1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
Alejandro Díaz-Caro, Nicolas A. Monzon
We introduce Lambda-SX, a typed quantum lambda-calculus that supports multiple measurement bases. By tracking duplicability relative to arbitrary bases within the type system, Lamb…
cs.LO2023★ 2 cited
A linear proof language for second-order intuitionistic linear logic
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky +1
We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling…