Artículo Typechecking dependently sorted nominal signatures Autor(es): Fernández, Maribel - Pagano, Miguel - Szasz, Nora - Tasistro, Álvaro
Fecha de publicación: 2025
Institución: Universidad ORT Uruguay
Otros Autores: “…Pagano, Miguel…”

Reporte técnico Informe final del proyecto: Control de tipos para Teoría de tipos nominal Autor(es): Szasz Cerutti, Nora Adriana - Tasistro Souto, Álvaro Daniel - Copello Gigirey, Ernesto Sebastián - Fernandez Romero, Maribel Rosario - Pagano, Miguel - Solsona, José
Fecha de publicación: 2023
Institución: Agencia Nacional de Investigación e Innovación
Otros Autores: