Comment Comment by jwp729 Surprised there's no mention of the Curry-Howard correspondence between proofs and programs. parent jwp729 11 years ago
