Curry-Howard correspondencehttp://en.wikipedia.org/wiki/Curry–Howard_correspondence by sz • 16 years ago 5 1 16 years agoENen.wikipedia.org