Previous (Chronologically) Next Biographies Index Previous ( Alphabetically) Next Welcome page
Curry's main work was in mathematical logic with particular interest in the theory of formal systems and processes. He formulated a logical calculus using inferential rules. His works include Combinatory Logic (1958) (with Robert Feys) and Foundations of Mathematical Logic (1963).
References:
Previous (Chronologically) Next Biographies Index Previous ( Alphabetically) Next Welcome page History Topics Index Famous curves index Chronologies Birthplace Map Mathematicians of the day Anniversaries for the year Search Form Simple Search Form Search Suggestions