Haskell Curry

Haskell Brooks Curry ( ; September 12, 1900 – September 1, 1982) was an American mathematician, logician and computer scientist. Curry is best known for his work in combinatory logic, whose initial concept is based on a paper by Moses Schönfinkel, for which Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. Named for him are three programming languages: Haskell, Brook, and Curry, and the concept of ''currying'', a method to transform functions, used in mathematics and computer science. Provided by Wikipedia
Showing 1 - 13 results of 13 for search 'Curry, Haskell B.', query time: 0.02s Refine Results
  1. 1
    Lógica combinatoria
    by Curry, Haskell B, 1900-
    Published 1967
    Other Authors: “…Curry, Haskell B, 1900-…”
    Biblioteca Universidad Eclesiástica San Dámaso (Other Sources: Biblioteca de la Universidad de Navarra, Biblioteca de la Universidad Pontificia de Salamanca)
    Book
  2. 2
    Lógica combinatoria
    by Curry, Haskell B.
    Published 1967
    Other Authors: “…Curry, Haskell B.…”
    991009103429706719
  3. 3
    Lógica combinatoria
    by Curry, Haskell B.
    Published 1967
    Other Authors: “…Curry, Haskell B.…”
    Biblioteca Universitat Ramon Llull (Other Sources: Catálogo Colectivo de las Bibliotecas Agustinianas de España)
    Book
  4. 4
    Foundations of Mathematical Logic
    by CURRY, Haskell B.
    Published 1977
    Other Authors: “…CURRY, Haskell B.…”
    Other
  5. 5
    Outlines of a formalist philosophy of mathematics
    by Curry, Haskell B, (1900- )
    Published 1970
    Other Authors: “…Curry, Haskell B, (1900- )…”
    Book
  6. 6
    Foundations of mathematical logic
    by Curry, Haskell B, 1900-
    Published 1977
    Other Authors: “…Curry, Haskell B, 1900-…”
    Book
  7. 7
    Combinatory logic
    by Curry, Haskell B, (1900- )
    Published 1958
    Other Authors: “…Curry, Haskell B, (1900- )…”
    Book
  8. 8
    Lógica combinatoria. Colaboración de William Craig. Traducción por Manuel Sacristán
    Other Authors: “…Curry, Haskell B. - Feys, Robert…”
    Book
  9. 9
    Outlines of a formalist philosophy of mathematics
    by Curry, Haskell B. 1900-1982
    Published 1958
    Other Authors: “…Curry, Haskell B. 1900-1982…”
    Book
  10. 10
    Combinatory logic
    by Curry, Haskell B. 1900-1982
    Published 1972
    Other Authors: “…Curry, Haskell B. 1900-1982…”
    Book
  11. 11
    Lógica combinatoria
    by Curry, Haskell B. 1900-1982
    Published 1967
    Other Authors: “…Curry, Haskell B. 1900-1982…”
    Book
  12. 12
    Foundations of mathematical logic
    by Curry, Haskell B. 1900-1982
    Published 1963
    Other Authors: “…Curry, Haskell B. 1900-1982…”
    Book
  13. 13
    Outline of a formalist philosophy of mathematics
    Published 1951
    Other Authors: “…Curry, Haskell B., autor…”
    Book

Search Tools: