[Haskell-cafe] Tutorial: Curry-Howard Correspondence
iavor.diatchki at gmail.com
Sun Oct 21 21:03:25 EDT 2007
On 10/17/07, Lennart Augustsson <lennart at augustsson.net> wrote:
> 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.
Apparently these axioms are not all equivalent (I was quite surprised
to learn that :-). Here is some interesting---but perhaps a bit
advanced for a tutorial on CH---reading which studies the relation
between classical logic and computation:
More information about the Haskell-Cafe