A Tutorial on the Curry-Howard Correspondence [pdf]

 (web.archive.org)

2 points | by rramadass 8 hours ago ago

No comments yet.