6 oct. 2007

Tesis y yo

Antes de comenzar la ejecucion de estudiantes (calificar exámenes) escribire brevemente sobre lo que tratara mi tesis: el isomorfismo de curry howard, pruebas como programas , divertido ¿no?, en este momento me encuentro programando un Haskell pequeño (ms bien un lenguaje funcional), y aunque no soy un excelente programador he avanzado un tanto..... pero bueno ha lelgado la hora de reprobar gente.

No hay comentarios:

ga