Events Tagged: "Curry-Howard"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "Curry-Howard"
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