 | 2012 |
|---|
| 7 |       | Pablo Arrighi,
Alejandro Díaz-Caro:
Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic
Logical Methods in Computer Science 8(1): (2012) |
| 2011 |
|---|
| 6 | | Pablo Buiras,
Alejandro Díaz-Caro,
Mauro Jaskelioff:
Lower Bounds for Scalars in a Typed Algebraic λ-calculus
LSFA 2011: 16-29 |
| 5 | | Alejandro Díaz-Caro,
Pablo Arrighi,
Manuel Gadella,
Jonathan Grattage:
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits.
Electr. Notes Theor. Comput. Sci. 270(1): 59-74 (2011) |
| 4 | | Pablo Arrighi,
Alejandro Díaz-Caro:
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic.
Electr. Notes Theor. Comput. Sci. 270(2): 219-229 (2011) |
| 2010 |
|---|
| 3 | | Alejandro Díaz-Caro,
Simon Perdrix,
Christine Tasson,
Benoît Valiron:
Equivalence of Algebraic Lambda-Calculi - work in progress -
CoRR abs/1005.2897: (2010) |
| 2 | | Alejandro Díaz-Caro,
Barbara Petit:
Sums in linear algebraic lambda-calculus
CoRR abs/1011.3542: (2010) |
| 1 | | Pablo Arrighi,
Alejandro Díaz-Caro,
Benoît Valiron:
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
CoRR abs/1012.4032: (2010) |
Data released under the ODC-BY 1.0 license — See also our legal information page