Discusión:Lógica combinatoria

Estas referencias ya no están disponibles o causan errores.--Pegaso2005 (discusión) 18:09 17 feb 2011 (UTC)

Referencias

• Las definiciones de C y B aquí usadas son las tradicionales desde hace 75 años. Papel (literalmente) de Haskell Curry: 15 January 1929, ítem A. Page 2 of 13.

• lambda castellano

• programación declarativa (gran bibliografía)

• Curry-Howard muy claro

• ídem PPT

son todos nestors