AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Alejandro Díaz Caro

Alejandro Díaz Caro

Universidad de Buenos Aires - Buenos Aires / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 833990
University of Buenos Aires
person_outline Alejandro Díaz Caro's MOST POPULAR ARTICLES
1-) A System F accounting for scalars Logical Methods in Computer Science 8, 2012
2-) The vectorial λ-calculus Information and Computation 254, 105-139, 2017
3-) Realizability in the unitary sphere 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
4-) Linearity in the non-deterministic call-by-value setting International Workshop on Logic, Language, Information, and Computation, 216-231, 2012
5-) Call-by-value, call-by-name and the vectorial behaviour of the algebraic\lambda-calculus Logical Methods in Computer Science 10, 2014