1

Reporte técnico

Internal program extraction in the calculus of inductive constructions

Autor(es): Severi, Paula; Szasz, Nora
Año: 2002
Institución: Universidad de la República
2

Reporte técnico

An operational approach to program extraction in the Calculus of Constructions

Autor(es): Fernández, Maribel; Severi, Paula
Año: 2002
Institución: Universidad de la República
3

Artículo

Unifying multilevel modelling through ontologies

Autor(es): Rohrer, Edelweis; Severi, Paula; Motz, Regina
Año: 2018
Institución: Universidad de la República