Mostrando 1 - 2 resultados de 2 para la búsqueda [ Copes Sabaj, Martín ] Filtros
  1. 1
    Tesis de grado Matemática de programas en cursos de Ingeniería de Software Copes Sabaj, Martin
    2016
    Universidad ORT Uruguay
  2. 2
    Tesis de grado A machine-checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution Copes Sabaj, Martín
    2018
    Universidad ORT Uruguay