[Haskell-cafe] encoding for least fixpoint

Benedikt Ahrens benedikt.ahrens at gmx.net
Wed Mar 18 12:41:04 EDT 2009


Thanks a lot to all of you for your help.

It took some time for me to realize that the only difference between
Vene and Wadler is in fact, that Wadler has an explicit representation
for the fixpoints - which answers the question of existence.

I will spend some more time on digesting all the information :-) and
will try to find some information about algebraic compacity.

Greetings
ben


More information about the Haskell-Cafe mailing list