American mathematician and logician known for his work in combinatory logic. The concept of currying and three programming languages have been named after him.
American mathematician and logician known for his work in combinatory logic. The concept of currying and three programming languages have been named after him.