[Haskell-cafe] Tutorial: Curry-Howard Correspondence

[Lennart Augustsson]

Check Wikipedia.  Peirce law, law of excluded middle, double negation, ...
they are all equivalent and it can be instructive to see how one can derive
one from the other.

On 10/17/07, Tim Newsham <newsham at lava.net> wrote:
>
> > 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/
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20071017/9369471f/attachment.htm