Wikipedia

Diferencia entre revisiones de «Lógica combinatoria»

Explorar historial interactivamente
← Ir a diferencia anteriorIr a siguiente diferencia →
Contenido eliminado Contenido añadido
VisualWikitexto
Quito la Plantilla:Otros usos, pues se va a borrar la página de desambiguación a la cual enlaza
Pegaso2005 (discusión · contribs.)
769 ediciones
Línea 292:
* [[paradoja de Curry]]
 
== Referencias ==
 
* Las definiciones de '''C''' y '''B''' aquí usadas son las tradicionales desde hace '''75 años'''. [http://www.sadl.uleth.ca/gsdl/cgi-bin/library?e=d-000-00---0curry--00-0-0-0prompt-10---4------0-1l--1-en-50---20-full-combinator--00001-001-1-0utfZz-8-00&a=d&d=T290115A.1&p=small Papel (literalmente) de Haskell Curry: 15 January 1929, ítem A. Page 2 of 13.]
 
* [http://polaris.lcc.uma.es/~blas/apuntes/PDAv/lambdaC.pdf lambda castellano]
 
* [http://polaris.lcc.uma.es/~blas/apuntes/PDAv/declaII.pdf programación declarativa (gran bibliografía)]
 
* [http://www.fing.edu.uy/inco/grupos/mf/TPPSF/Teoricos/CFPTT_T4.pdf Curry-Howard muy claro]
 
* [http://www.fing.edu.uy/inco/grupos/mf/TPPSF/Teoricos/CFPTT_T4.ppt ídem PPT]
son todos nestors
{{ORDENAR:Logica combinatoria}}
 
Obtenido de «https://es.wikipedia.org/wiki/Lógica_combinatoria»