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: