Haskell Curry

Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en 1930. Enseñó en las universidades de Princeton y Harvard, y después, comenzando en 1929, durante 35 años en la Universidad Estatal de Pensilvania. En 1966 llegó a ser profesor de matemáticas en Ámsterdam. Murió en State College, Pensilvania.

El trabajo principal de Curry fue en lógica matemática, especialmente en la teoría de sistemas y procesos formales - lógica combinatoria, el fundamento para los lenguajes de programación funcionales. Los lenguajes de programación funcionales Haskell y Curry se nombran así por él al igual que el proceso de currificación en lenguajes de programación funcionales. proporcionado por Wikipedia
Mostrando 1 - 4 Resultados de 4 Para Buscar 'Curry, Haskell Brooks, 1900-', tiempo de consulta: 0.06s Limitar resultados
  1. 1
    por Curry, Haskell Brooks, 1900-
    Publicado 1963
    Aportado por: Bibliotecas UNSJ
    Libro
  2. 2
    por Curry, Haskell Brooks, 1900-
    Publicado 1967
    Aportado por: Bibliotecas UNSJ
    Libro
  3. 3
    por Curry, Haskell Brooks 1900
    Publicado 1958
    Libro
  4. 4
    por Curry, Haskell Brooks 1900
    Publicado 1967
    Libro