A Tutorial on the Curry-Howard Correspondence [pdf]

2 points | by rramadass 8 hours ago