Proofs Are Programs: A Few Examples of the Curry-Howard Correspondence

(adueck.github.io)

2 points | by birdculture 5 hours ago ago