Per Martin-Löf

male, 67 years old
University of Chicago, Logician, mathematician, philosopher, swedish, Stockholm University…Curry-Howard correspondence
Per Martin-Löf is a Swedish logician, philosopher, and mathematician born in 1942. He is best known for developing intuitionistic type theory as a c...

William Alvin Howard

male
Ph.D., University of Chicago, typed lambda-calculus, Curry-Howard correspondence, Ordinal, intuitionistic logic
William Alvin Howard (1926 -) is a proof theorist most well-known for his work demonstrating formal similarity between intuitionistic logic and the...