estadounidense
Haskell Brooks Curry fue un lógico y matemático estadounidense conocido por sus contribuciones a la teoría de la computación y la lógica matemática, especialmente en el desarrollo de la lógica combinatoria. Su trabajo ha influido en áreas como la informática teórica y la filosofía de la matemática.
1958·no ficcion
Este texto pionero establece las bases del cálculo combinatorio, un sistema formal que explora las funciones sin el uso de variables explicitas, sentando las bases de muchos lenguajes de programación funcional.
1963·no ficcion
Una obra monumental que presenta un tratado exhaustivo y formalista de la lógica matemática, profundizando en los sistemas formales, sus propiedades y sus interpretaciones.
Aparecen junto a Haskell Brooks Curry en búsquedas del archivo
