Category:Definitions/Named Definitions/Curry

From ProofWiki
Jump to navigation Jump to search

This category contains definitions named for Haskell Brooks Curry.

American mathematician and logician, best known for his work in combinatory logic and for Curry's Paradox.

This category currently contains no pages or media.