| A System F accounting for scalars P Arrighi, A Díaz-Caro arXiv preprint arXiv:0903.3741, 2009 | 41 | 2009 |
| The vectorial λ-calculus P Arrighi, A Díaz-Caro, B Valiron Information and Computation 254, 105-139, 2017 | 30 | 2017 |
| Linearity in the non-deterministic call-by-value setting A Díaz-Caro, B Petit Logic, Language, Information and Computation: 19th International Workshop …, 2012 | 30* | 2012 |
| 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 | 24 | 2011 |
| 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 | 23 | 2014 |
| Affine computation and affine automaton A Díaz-Caro, A Yakaryılmaz Computer Science–Theory and Applications: 11th International Computer …, 2016 | 21 | 2016 |
| 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 |
| Typing quantum superpositions and measurement A Díaz-Caro, G Dowek Theory and Practice of Natural Computing: 6th International Conference, TPNC …, 2017 | 20 | 2017 |
| 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 |
| 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 | 19 | 2019 |
| Equivalence of algebraic λ-calculi A Díaz-Caro, S Perdrix, C Tasson, B Valiron Informal proceedings of HOR, 6-11, 2010 | 14 | 2010 |
| Simply typed lambda-calculus modulo type isomorphisms A Dıaz-Caro, G Dowek Draft at https://hal. inria. fr/hal-01109104, 2015 | 13 | 2015 |
| Two linearities for quantum computing in the lambda calculus A Díaz-Caro, G Dowek, JP Rinaldi Biosystems 186, 104012, 2019 | 11 | 2019 |
| 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 | 11 | 2017 |
| A concrete categorical semantics of Lambda-S A Díaz-Caro, O Malherbe Electronic Notes in Theoretical Computer Science 344, 83-100, 2019 | 10 | 2019 |
| Confluence in probabilistic rewriting A Díaz-Caro, G Martinez Electronic Notes in Theoretical Computer Science 338, 115-131, 2018 | 10 | 2018 |
| Du typage vectoriel A Diaz Caro Grenoble, 2011 | 9 | 2011 |
| Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ+ A Díaz-Caro, PE Martínez López Proceedings of the 27th Symposium on the Implementation and Application of …, 2015 | 8 | 2015 |
| Non determinism through type isomorphism A Díaz-Caro, G Dowek arXiv preprint arXiv:1303.7334, 2013 | 8 | 2013 |
Pablo ArrighiProfessor in Computer Science, Université Paris-SaclayVerified email at universite-paris-saclay.fr
