Theorems for free.

Long Goodbye haskeller@hotmail.com
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 http://explorer.msn.com/intl.asp.