Events Tagged: "proofs as programs"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "proofs as programs"
1940
ID: 402
Curry and Robert Feys begin developing the Curry-Howard correspondence between proofs and programs
ID: 402
👤
Haskell Curry
mathematics
type theory
Curry-Howard
proofs as programs