Listar por Autor Bove, Ana
Mostrando resultados 1 a 3 de 3
Fecha de publicación | Título | Autor(es) |
1991 | A confluent calculus of macro expansion and evaluation | Bove, Ana; Arbilla, Laura |
1995 | A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis | Bove, Ana |
1998 | La increíble historia del Instituto de Computación (en 24 e-mails) | Arbilla, Laura; Bermúdez, Laura; Betarte, Gustavo; Bove, Ana; Cabezas, Juan José; Cancela, Héctor; Carpani, Fernando; Cornes, Cristina; Giménez, Eduardo; Gonnet, Gastón; Goyoaga, Joaquín; González, Juan; Holz, Ida; Ruggia, Raúl; Tasistro, Alvaro; Urquhart, María E; Vidart, Jorge; Viola, Alfredo |