[Haskell-cafe] Tutorial: Curry-Howard Correspondence

[Tim Newsham]

> Very clear tutorial indeed. But why isn't propCC shown as Pierce's
> Law? And Excluded middle is proven on such basis.

Simply because I don't know that much about pierce's law.  I've
seen it mentioned a few times, but I'm not that familiar with it
yet and I haven't read a good treatment of it yet.  Do you have
any pointers to something I could read?

> Vitaliy.

Tim Newsham
http://www.thenewsh.com/~newsham/