55 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Consejo Nacional de Investigaciones Científicas y TécnicasAR29 papers
- Universidad de Buenos AiresAR26 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Universidad de la República de UruguayUY7 papers
- Université de LorraineFR7 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR6 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Centre Inria de SaclayFR3 papers
- École PolytechniqueFR3 papers
- Consejo Superior de Investigaciones CientíficasES2 papers
- Délégation Paris 7FR2 papers
- École Normale Supérieure Paris-SaclayFR2 papers
Showing 2018Show all
2 papers · 1 filter
cs.FL2018
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…
cs.LO2018★ 4 cited
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…