[Haskell-cafe] Tutorial: Curry-Howard Correspondence
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?
More information about the Haskell-Cafe