talk · community record
Let Curry-Howard code for me
Short talk proving a simple theorem to show the intuitions behind the Curry-Howard isomorphism and extracting a program from the proof.
01
Connections
1 relationship
Short talk proving a simple theorem to show the intuitions behind the Curry-Howard isomorphism and extracting a program from the proof.
1 relationship