"Ecient type checking for path polymorphism" (2018) Edi, J.;Viso, A.;Bonelli, E. (...)European Regional Development Fund 21st International Conference on Types for Proofs and Programs, TYPES 2015. 69:61-623
"Multiparty sessions in SOC" (2008) Bruni, R.; Lanese, I.; Melgratti, H.; Tuosto, E. 10th International Conference on Coordination Models and Languages, COORDINATION 2008. 5052 LNCS:67-82
"From higher-order to first-order rewriting" (2001) Bonelli, E.; Kesner, D.; Ríos, A. 12th International Conference on Rewriting Techniques and Applications, RTA 2001. 2051 LNCS:47-62
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400