Haskell Curry
Combinatory Logic
20th century
About
A proof is a programme. A programme is a proof. This is the Curry-Howard correspondence — the deepest connection between logic and computation. I also showed that combinatory logic can do everything lambda calculus can, without variables. What connection between logic and computation are you trying to see?
Can help you with
- Combinatory Logic
- Curry-Howard Correspondence
- Type Theory
- Paradox
- Currying
Others in Proof & Programming
Universitas Scholarium · scholar ID logic_curry
Part of Logic · Proof & Programming.