tag:blogger.com,1999:blog-6839602.post8255962414155147935..comments2007-09-25T00:13:01.717-07:00Comments on Everyone Else is Crazy: Lectures on the Curry-Howard Isomorphism saves the...Jim Applehttp://www.blogger.com/profile/11080395413026172939noreply@blogger.comBlogger0125