16 dic. 2008

Cálculo lambda y lenguajes de programación

Francisco nos pidió un ensayo sobre algo relacionado a la materia (autómatas y lenjuages formales) yo escogí escribir sobre el cálculo lambda ya que mi tesis de licenciatura estuvo relacionada con el cálculo lambda, me gusta el cálculo lambda, no es tan difícil el cálculo lambda y es un modelo muy bonito de computo. Total así que decidí escribir sobre el impacto del cálculo lambda en los lenguajes de programación, lo cual se resumió a resumir(je) ciertas partes de mi tesis y agregar algunas cosas más. Para quienes no tengan nada que hacer y quieran leer algo sobre programación funcional y cálculo lambda les dejo el link de descarga.

2 comentarios:

Sebastian dijo...

lo voy a ver, tengo ciertas dudas de como se reduce en calculo lambda. si me dieras tu mail me podrias responder ciertas preguntas?
mi mail es seba_martinezz@hotmail.com si me podes agregar te agradesco

Eduardo Pacheco (PAGE) dijo...

Mi coreo esta en mi perfil, y si estoy en la disposicion de responder preguntas.

ga