Andrés Sicard Ramírez
Thesis Info
'General Recursion in Type Theory'Home Institution
Universidad EAFIT
Host Institution
Chalmers University of Technology
|
Grant-Holders
|
|||
|
|
|||
|
||||
|
|
Grant-Holders
|
|||
|
Andrés Sicard RamírezThesis Info'General Recursion in Type Theory'Home InstitutionUniversidad EAFIT Host InstitutionChalmers University of Technology
|
|||
|
|
||||