Axiom (p>(p>q))>(p>q) [CCpCpqCpq]

This axiom is often called "W", since it cooresponds to Curry and Fey's "W" combinator. [Hindley and Meredith, 1990, pg 91]

In terms of combinators W is:

W x y => W x y y

Go to ...

© Copyright 2005 by John Halleck, All Rights Reserved.
This page is
This page was last modified on January 16th, 2005.