A Tutorial on the Curry-Howard Correspondence [pdf]web.archive.org2 points·rramadass··0 commentsOpen articleSaveView on HN