[Haskell-cafe] Tutorial: Curry-Howard Correspondence

Tim Newsham newsham at lava.net
Wed Oct 17 12:57:27 EDT 2007

> 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

More information about the Haskell-Cafe mailing list