Mostrando 1 - 2 resultados de 2 para la búsqueda [ Silva, Sebastián ] Filtros
  1. 1
    Tesis de grado Normalization Proofs for the Simply-Typed Lambda Calculus in Agda Urciuoli Silva, Sebastián
    2020
    Universidad ORT Uruguay
  2. 2
    Tesis de grado Cyrus Vaulting Basaistegui, Leandro - Cardozo, Agustín - Silva, Sebastián
    2016
    Universidad ORT Uruguay
    Otros Autores: