Browsing Trabajos finales de carrera de postgrado by Subject "CÁLCULO"

Sort by: Order: Results:

  • Michelini Jorge, Juan Pedro (Universidad ORT Uruguay, 2016)
    El trabajo presenta un método original para establecer y demostrar conjeturas de la teoría ecuacional del cálculo lambda tipado. Incluye una serie de reglas que permiten al estudiante descubrir, por ejemplo, el tipo de las ...