Mostrando 1 - 1 resultados de 1 para la búsqueda [ Urciuoli 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