A Tutorial on the Curry-Howard Correspondence [pdf]

(web.archive.org)

2 points | by rramadass 8 hours ago ago