thinker
active
thinker:haskell-b-curry

Haskell B. Curry

Developed combinatory logic; Curry-Howard isomorphism.

Authored
0
Introduces
0
Studies
0
Affiliations
0
Cited by
0

More papers — OpenAlex / S2

Recent mentions (1)