Haskell Brooks Curry (1900-1982), 美国数学家、逻辑学家, 组合子逻辑奠基人.
•
Curry 化
Curry 语言
Haskell 语言
Curry–Howard 对应
Curry 悖论