Mostrando 1 - 2 resultados de 2 para la búsqueda [ Fernández, Maribel ] Filtros
  1. 1
    Reporte técnico An operational approach to program extraction in the Calculus of Constructions Fernández, Maribel - Severi, Paula
    2002
    Universidad de la República
  2. 2
    Artículo Typechecking dependently sorted nominal signatures Fernández, Maribel - Pagano, Miguel - Szasz, Nora - Tasistro, Álvaro
    2025
    Universidad ORT Uruguay