Theorems for free.

Long Goodbye
Sat, 13 Apr 2002 19:55:12 +0000

I have heard that Philip Wadlers article "Theorems for free" has
been written in a "CT terms" version in addition to the one that can be 
found at Nec.
If this is the case then I would very much like to have a pointer to
where this file can be found.

Thank you,

Henrik Ljung

Get your FREE download of MSN Explorer at