Miguel Pagano
Thesis Info
'Conversion and Rewriting Systems for Dependent Types'Home Institution
Universidad Nacional de San Luis
Host Institution
Chalmers University of Technology
|
Grant-Holders
|
|||
|
|
|||
|
||||
|
|
Grant-Holders
|
|||
|
Miguel PaganoThesis Info'Conversion and Rewriting Systems for Dependent Types'Home InstitutionUniversidad Nacional de San Luis Host InstitutionChalmers University of Technology
|
|||
|
|
||||