Haskell Brooks Curry

Haskell Brooks Curry (1900-1982), 美国数学家、逻辑学家, 组合子逻辑奠基人.

1以他命名

Curry 化

Curry 语言

Haskell 语言

Curry–Howard 对应

Curry 悖论