[Haskell-cafe] Tutorial: Curry-Howard Correspondence

Iavor Diatchki 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 mailing list