You can even prove that. It's called the Curry–Howard isomorphism (http://en.wik...

		eru on Feb 16, 2011 \| parent \| context \| favorite \| on: Security is Mathematics You can even prove that. It's called the Curry–Howard isomorphism (http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_isomorphis...). Guess who has a the highest bid on ads for `curry howard isomorphism' on Google?