Timothy G. Griffin
Author
Works written
Facts from the Community
From the Proofs are Programs base
Contributions:
| Key concept | Date | Why this is interesting | Key artifacts |
|---|---|---|---|
|
|
Similar topics in Freebase
-
Charles Peirce
Charles Sanders Peirce (pronounced /ˈpɜrs/ purse) (September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist, born in Cambridge, Massachusetts. Peirce was educated as a chemist and employed as a scientist for 30 years. It is largely his contributions... -
Jean-Yves Girard
Jean-Yves Girard (born 1947 in Lyon) is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics. Alumnus of the École normale... -
Robert Feys
Robert Feys (1889—1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium). In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic I). -
Gottlob Frege
Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German mathematician who became a logician and philosopher. He was one of the founders of modern logic, and made major contributions to the foundations of mathematics. As a philosopher, he is generally considered to be the father... -
J. Roger Hindley
-
William Alvin Howard
William Alvin Howard (born 1926) is a proof theorist best-known for his work demonstrating formal similarity between intuitionistic logic and the simply-typed lambda-calculus that has come to be known as the Curry-Howard correspondence. He has also been active in the theory of proof-theoretic...
