Wczytuję…
4 dzieła w katalogach bibliotek
Haskell Brooks Curry (ur. 12 września 1900, zm. 1 września 1982) – amerykański matematyk. Najbardziej znany jest ze swoich prac nad logiką kombinatoryczną. Curry jest też znany z paradoksu Curry’ego i izomorfizmu Curry’ego-Howarda.
Na jego cześć zostały nazwane dwa języki programowania, Haskell i Curry oraz rozwijanie funkcji currying w funkcyjnych językach programowania.
Wyników: 4
Combinatory logic
Haskell Brooks Curry
1958–1974 · 4 wydania · angielski
12bibliotek
Leçons de logique algébrique
Haskell Brooks Curry
1952 · 1 wydanie · francuski
3biblioteki
Fundations of mathematical logic
Haskell Brooks Curry
1997 · 1 wydanie
1biblioteka
A theory of formal deducibility
Haskell Brooks Curry
1957 · 1 wydanie · angielski
1biblioteka