| A System F accounting for scalars P Arrighi, A Díaz-Caro Logical Methods in Computer Science 8, 2012 | 45 | 2012 |
| The vectorial λ-calculus P Arrighi, A Díaz-Caro, B Valiron Information and Computation 254, 105-139, 2017 | 39 | 2017 |
| Linearity in the non-deterministic call-by-value setting A Díaz-Caro, B Petit International Workshop on Logic, Language, Information, and Computation, 216-231, 2012 | 33* | 2012 |
| Realizability in the unitary sphere A Díaz-Caro, M Guillermo, A Miquel, B Valiron 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 28 | 2019 |
| Call-by-value, call-by-name and the vectorial behaviour of the algebraic\lambda-calculus A Assaf, A Díaz-Caro, S Perdrix, C Tasson, B t Valiron Logical Methods in Computer Science 10, 2014 | 27 | 2014 |
| Typing quantum superpositions and measurement A Díaz-Caro, G Dowek International Conference on Theory and Practice of Natural Computing, 281-293, 2017 | 24 | 2017 |
| Scalar system F for linear-algebraic λ-calculus: Towards a quantum physical logic P Arrighi, A Díaz-Caro Electronic Notes in Theoretical Computer Science 270 (2), 219-229, 2011 | 23 | 2011 |
| Call-by-value non-determinism in a linear logic type discipline A Díaz-Caro, G Manzonetto, M Pagani Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013 | 21 | 2013 |
| A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus P Arrighi, A Díaz-Caro, B Valiron arXiv preprint arXiv:1012.4032, 2010 | 21 | 2010 |
| Affine computation and affine automaton A Díaz-Caro, A Yakaryılmaz Computer Science–Theory and Applications: 11th International Computer …, 2016 | 20 | 2016 |
| Measurements and confluence in quantum lambda calculi with explicit qubits A Díaz-Caro, P Arrighi, M Gadella, J Grattage Electronic Notes in Theoretical Computer Science 270 (1), 59-74, 2011 | 20 | 2011 |
| Two linearities for quantum computing in the lambda calculus A Díaz-Caro, G Dowek, JP Rinaldi BioSystems 186, 104012, 2019 | 17 | 2019 |
| A new connective in natural deduction, and its application to quantum computing A Díaz-Caro, G Dowek Theoretical Computer Science 957, 113840, 2023 | 14 | 2023 |
| Confluence in probabilistic rewriting A Díaz-Caro, G Martinez Electronic Notes in Theoretical Computer Science 338, 115-131, 2018 | 14 | 2018 |
| Equivalence of algebraic λ-calculi A Díaz-Caro, S Perdrix, C Tasson, B Valiron Informal proceedings of HOR, 6-11, 2010 | 14 | 2010 |
| Quantum control in the unitary sphere: Lambda-S1 and its categorical model A Díaz-Caro, O Malherbe Logical Methods in Computer Science 18, 2022 | 13 | 2022 |
| A lambda calculus for density matrices with classical and probabilistic controls A Díaz-Caro Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 13 | 2017 |
| Simply typed lambda-calculus modulo type isomorphisms A Dıaz-Caro, G Dowek Draft at https://hal. inria. fr/hal-01109104, 2015 | 13 | 2015 |
| A concrete categorical semantics of Lambda-S A Díaz-Caro, O Malherbe Electronic Notes in Theoretical Computer Science 344, 83-100, 2019 | 12 | 2019 |
| Du typage vectoriel A Díaz-Caro PhD thesis, Université de Grenoble, France, 2011 | 10 | 2011 |
Pablo ArrighiProfessor in Computer Science, Université Paris-Saclay and InriaVerified email at universite-paris-saclay.fr