Showing
1 - 1
results of
1
Skip to content
Catalog K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
ISBN/ISSN
Find
Advanced Search
Author
Curry, Haskell Brooks, 1900-1982
Haskell Curry
Haskell Brooks Curry
( ; September 12, 1900 – September 1, 1982) was an American
mathematician
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 the
programming language
s
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 - 1
results of
1
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Loading…
Osnovanija matematičeskoj logiki : Per. s angl
by
Curry, Haskell Brooks, 1900-1982
Year of Publication
1969
Call Number
Loading…
Book
Loading…
Save to List
Saved in:
RSS Feed
Email Search
Search History
Related Subjects
Logika
matematický