Statistics
Publications
13
Citations
964
H-Index
13
Active since
1929
Affiliations
University of Chicago(Current)
H. B. Curry is an author at University of Chicago specializing in automated reasoning, engineering, and semantics.
Publications per year
1929–2008
13
13
Functionality in Combinatory Logic
H. B. Curry · Proceedings of the National Academy of Sciences · 1934 · 185 citations · Full text
An Analysis of Logical Substitution
H. B. Curry · American Journal of Mathematics · 1929 · 69 citations
Conference Board of the Mathematical Sciences
Henry L. Alder, Allan Tucker, H. B. Curry et al. · Communications of the ACM · 1962 · 62 citations · Full text
Rows per page
1–5 of 13