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 (5 books/articles)