Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
The Curry-Howard isomorphism (types are theorems, programs are proofs) | Heykuki News
The Curry-Howard isomorphism (types are theorems, programs are proofs)
en.wikibooks.org
32 points
eru
16 years ago
3 comments
Loading...