Hacker News new | ask | show | jobs
by betterunix 4466 days ago
This comes to mind:

http://en.wikipedia.org/wiki/Curry-Howard_Correspondence